Back to index

texmacs  1.0.7.15
boot.hpp
Go to the documentation of this file.
00001 
00002 /******************************************************************************
00003 * MODULE     : boot.hpp
00004 * DESCRIPTION: manipulation of TeX font files
00005 * COPYRIGHT  : (C) 1999  Joris van der Hoeven
00006 *******************************************************************************
00007 * This software falls under the GNU general public license version 3 or later.
00008 * It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
00009 * in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
00010 ******************************************************************************/
00011 
00012 #ifndef BOOT_H
00013 #define BOOT_H
00014 #include "url.hpp"
00015 
00016 extern tree texmacs_settings;
00017 extern int  install_status;
00018 extern bool use_which;
00019 extern bool use_locate;
00020 
00021 string get_setting (string var, string def= "");
00022 void   set_setting (string var, string val);
00023 void   get_old_settings (string s);
00024 void   init_upgrade ();
00025 void   init_texmacs ();
00026 void   init_plugins ();
00027 void   setup_texmacs ();
00028 
00029 scheme_tree plugin_list ();
00030 
00031 #endif // defined BOOT_H