1
2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
3;;
4;; MODULE      : build-glue-basic.scm
5;; DESCRIPTION : Building basic glue
6;; COPYRIGHT   : (C) 1999  Joris van der Hoeven
7;;
8;; This software falls under the GNU general public license version 3 or later.
9;; It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
10;; in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
11;;
12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
13
14(output-copyright "build-glue-basic.scm")
15
16(build
17  ""
18  "initialize_glue_basic"
19
20  (texmacs-version-release texmacs_version (string string))
21  (version-before? version_inf (bool string string))
22  (updater-supported? updater_supported (bool))
23  (updater-running? updater_is_running (bool))
24  (updater-check-background updater_check_background (bool))
25  (updater-check-foreground updater_check_foreground (bool))
26  (updater-last-check updater_last_check (long))
27  (updater-set-appcast updater_set_appcast (bool url))
28  (updater-set-interval updater_set_interval (bool int))
29  (updater-set-automatic updater_set_automatic (bool bool))
30  (os-win32? os_win32 (bool))
31  (os-mingw? os_mingw (bool))
32  (os-macos? os_macos (bool))
33  (x-gui? gui_is_x (bool))
34  (qt-gui? gui_is_qt (bool))
35  (default-look-and-feel default_look_and_feel (string))
36  (default-chinese-font default_chinese_font_name (string))
37  (default-japanese-font default_japanese_font_name (string))
38  (default-korean-font default_korean_font_name (string))
39  (tm-output tm_output (void string))
40  (tm-errput tm_errput (void string))
41  (win32-display win32_display (void string))
42  (cpp-error cpp_error (void))
43  (supports-native-pdf? supports_native_pdf (bool))
44  (supports-ghostscript? supports_ghostscript (bool))
45  (rescue-mode? in_rescue_mode (bool))
46  (scheme-dialect scheme_dialect (string))
47  (get-texmacs-path get_texmacs_path (url))
48  (get-texmacs-home-path get_texmacs_home_path (url))
49  (plugin-list plugin_list (scheme_tree))
50  (set-fast-environments set_fast_environments (void bool))
51  (font-exists-in-tt? tt_font_exists (bool string))
52  (eval-system eval_system (string string))
53  (var-eval-system var_eval_system (string string))
54  (evaluate-system evaluate_system
55    (array_string array_string array_int array_string array_int))
56  (get-locale-language get_locale_language (string))
57  (get-locale-charset get_locale_charset (string))
58  (locale-to-language locale_to_language (string string))
59  (language-to-locale language_to_locale (string string))
60  (texmacs-time texmacs_time (int))
61  (pretty-time pretty_time (string int))
62  (texmacs-memory mem_used (int))
63  (bench-print bench_print (void string))
64  (bench-print-all bench_print (void))
65  (system-wait system_wait (void string string))
66  (set-latex-command set_latex_command (void string))
67  (set-bibtex-command set_bibtex_command (void string))
68  (number-latex-errors number_latex_errors (int url))
69  (number-latex-pages number_latex_pages (int url))
70  (math-symbol-group math_symbol_group (string string))
71  (math-group-members math_group_members (array_string string))
72  (math-symbol-type math_symbol_type (string string))
73  (object->command as_command (command object))
74  (exec-delayed exec_delayed (void object))
75  (exec-delayed-pause exec_delayed_pause (void object))
76  (protected-call protected_call (void object))
77  (notify-preferences-booted notify_preferences_booted (void))
78  (cpp-has-preference? has_user_preference (bool string))
79  (cpp-get-preference get_user_preference (string string string))
80  (cpp-set-preference set_user_preference (void string string))
81  (cpp-reset-preference reset_user_preference (void string))
82  (save-preferences save_user_preferences (void))
83  (set-input-language set_input_language (void string))
84  (get-input-language get_input_language (string))
85  (set-output-language gui_set_output_language (void string))
86  (get-output-language get_output_language (string))
87  (translate translate (string content))
88  (string-translate translate_as_is (string string))
89  (translate-from-to translate (string content string string))
90  (tree-translate tree_translate (tree content))
91  (tree-translate-from-to tree_translate (tree content string string))
92  (force-load-translations force_load_dictionary (void string string))
93  (color named_color (int string))
94  (get-hex-color get_hex_color (string string))
95  (named-color->xcolormap named_color_to_xcolormap (string string))
96  (new-author new_author (double))
97  (set-author set_author (void double))
98  (get-author get_author (double))
99  (debug-set debug_set (void string bool))
100  (debug-get debug_get (bool string))
101  (get-debug-messages get_debug_messages (tree string int))
102  (clear-debug-messages clear_debug_messages (void))
103  (cout-buffer cout_buffer (void))
104  (cout-unbuffer cout_unbuffer (string))
105  (mark-new new_marker (double))
106  (glyph-register register_glyph (void string array_array_array_double))
107  (glyph-recognize recognize_glyph (string array_array_array_double))
108  (set-new-fonts set_new_fonts (void bool))
109  (new-fonts? get_new_fonts (bool))
110  (tmtm-eqnumber->nonumber eqnumber_to_nonumber (tree tree))
111  (busy-versioning? is_busy_versioning (bool))
112
113  ;; routines for the font database
114  (tt-exists? tt_font_exists (bool string))
115  (tt-dump tt_dump (void url))
116  (tt-font-name tt_font_name (scheme_tree url))
117  (tt-analyze tt_analyze (array_string string))
118  (font-database-build font_database_build (void url))
119  (font-database-build-local font_database_build_local (void))
120  (font-database-build-global font_database_build_global (void))
121  (font-database-build-characteristics
122   font_database_build_characteristics (void bool))
123  (font-database-insert-global font_database_build_global (void url))
124  (font-database-save-local-delta font_database_save_local_delta (void))
125  (font-database-load font_database_load (void))
126  (font-database-save font_database_save (void))
127  (font-database-filter font_database_filter (void))
128  (font-database-families font_database_families (array_string))
129  (font-database-delta-families font_database_delta_families (array_string))
130  (font-database-styles font_database_styles (array_string string))
131  (font-database-search font_database_search (array_string string string))
132  (font-database-characteristics
133   font_database_characteristics (array_string string string))
134  (font-database-substitutions
135   font_database_substitutions (scheme_tree string))
136  (font-family->master family_to_master (string string))
137  (font-master->families master_to_families (array_string string))
138  (font-master-features master_features (array_string string))
139  (font-family-features family_features (array_string string))
140  (font-family-strict-features family_strict_features (array_string string))
141  (font-style-features style_features (array_string string))
142  (font-guessed-features guessed_features (array_string string string))
143  (font-guessed-distance guessed_distance (double string string string string))
144  (font-master-guessed-distance guessed_distance (double string string))
145  (font-family-guessed-features guessed_features (array_string string bool))
146  (characteristic-distance
147   characteristic_distance (double array_string array_string))
148  (trace-distance trace_distance (double string string double))
149  (logical-font-public logical_font (array_string string string))
150  (logical-font-exact logical_font_exact (array_string string string))
151  (logical-font-private
152   logical_font (array_string string string string string))
153  (logical-font-family get_family (string array_string))
154  (logical-font-variant get_variant (string array_string))
155  (logical-font-series get_series (string array_string))
156  (logical-font-shape get_shape (string array_string))
157  (logical-font-search search_font (array_string array_string))
158  (logical-font-search-exact search_font_exact (array_string array_string))
159  (search-font-families search_font_families (array_string array_string))
160  (search-font-styles search_font_styles (array_string string array_string))
161  (logical-font-patch patch_font (array_string array_string array_string))
162  (logical-font-substitute apply_substitutions (array_string array_string))
163  (font-family-main main_family (string string))
164
165  ;; routines for images
166  (image->psdoc image_to_psdoc (string url))
167
168  ;; routines for trees
169  (tree->stree tree_to_scheme_tree (scheme_tree tree))
170  (stree->tree scheme_tree_to_tree (tree scheme_tree))
171  (tree->string coerce_tree_string (string tree))
172  (string->tree coerce_string_tree (tree string))
173  (tm->tree tree (tree content))
174  (tree-atomic? is_atomic (bool tree))
175  (tree-compound? is_compound (bool tree))
176  (tree-label L (tree_label tree))
177  (tree-children A (array_tree tree))
178  (tree-arity N (int tree))
179  (tree-child-ref tree_ref (tree tree int))
180  (tree-child-set! tree_set (tree tree int content))
181  (tree-child-insert tree_child_insert (tree content int content))
182  (tree-ip obtain_ip (path tree))
183  (tree-active? tree_active (bool tree))
184  (tree-eq? strong_equal (bool tree tree))
185  (subtree subtree (tree tree path))
186  (tree-range tree_range (tree tree int int))
187  (tree-copy copy (tree tree))
188  (tree-append tree_append (tree tree tree))
189  (tree-right-index right_index (int tree))
190  (tree-label-extension? is_extension (bool tree_label))
191  (tree-label-macro? is_macro (bool tree_label))
192  (tree-label-parameter? is_parameter (bool tree_label))
193  (tree-label-type get_tag_type (string tree_label))
194  (tree-multi-paragraph? is_multi_paragraph (bool tree))
195  (tree-simplify simplify_correct (tree tree))
196  (tree-minimal-arity minimal_arity (int tree))
197  (tree-maximal-arity maximal_arity (int tree))
198  (tree-possible-arity? correct_arity (bool tree int))
199  (tree-insert_point insert_point (int tree int))
200  (tree-is-dynamic? is_dynamic (bool tree))
201  (tree-accessible-child? is_accessible_child (bool tree int))
202  (tree-accessible-children accessible_children (array_tree tree))
203  (tree-all-accessible? all_accessible (bool content))
204  (tree-none-accessible? none_accessible (bool content))
205  (tree-name get_name (string content))
206  (tree-long-name get_long_name (string content))
207  (tree-child-name get_child_name (string content int ))
208  (tree-child-long-name get_child_long_name (string content int))
209  (tree-child-type get_child_type (string content int))
210  (tree-child-env get_env_child (tree content int string content))
211  (tree-descendant-env get_env_descendant (tree content path content))
212  (tree-load-inclusion load_inclusion (tree url))
213  (tree-as-string tree_as_string (string content))
214  (tree-extents tree_extents (tree content))
215  (tree-empty? is_empty (bool content))
216  (tree-is-buffer? admits_edit_observer (bool tree))
217  (tree-search-sections search_sections (array_tree tree))
218  (tree-search-tree search (array_path content content path int))
219  (tag-minimal-arity minimal_arity (int tree_label))
220  (tag-maximal-arity maximal_arity (int tree_label))
221  (tag-possible-arity? correct_arity (bool tree_label int))
222  (set-access-mode set_access_mode (int int))
223  (get-access-mode get_access_mode (int))
224
225  (tree-assign tree_assign (tree tree content))
226  (tree-var-insert tree_insert (tree tree int content))
227  (tree-remove tree_remove (tree tree int int))
228  (tree-split tree_split (tree tree int int))
229  (tree-join tree_join (tree tree int))
230  (tree-assign-node tree_assign_node (tree tree tree_label))
231  (tree-insert-node tree_insert_node (tree tree int content))
232  (tree-remove-node tree_remove_node (tree tree int))
233
234  (cpp-tree-correct-node correct_node (void tree))
235  (cpp-tree-correct-downwards correct_downwards (void tree))
236  (cpp-tree-correct-upwards correct_upwards (void tree))
237
238  ;; extra routines for content
239  (concat-tokenize-math concat_tokenize (array_tree content))
240  (concat-decompose concat_decompose (array_tree content))
241  (concat-recompose concat_recompose (tree array_tree))
242  (with-like? is_with_like (bool content))
243  (with-same-type? with_same_type (bool content content))
244  (with-similar-type? with_similar_type (bool content content))
245  (with-correct with_correct (tree content))
246  (with-correct-superfluous superfluous_with_correct (tree content))
247  (invisible-correct-superfluous superfluous_invisible_correct (tree content))
248  (invisible-correct-missing missing_invisible_correct (tree content int))
249  (automatic-correct automatic_correct (tree content string))
250  (manual-correct manual_correct (tree content))
251  (tree-upgrade-brackets upgrade_brackets (tree content string))
252  (tree-upgrade-big upgrade_big (tree content))
253  (tree-downgrade-brackets downgrade_brackets (tree content bool bool))
254  (tree-downgrade-big downgrade_big (tree content))
255  (math-status-print math_status_print (void))
256  (math-status-reset math_status_reset (void))
257
258  ;; paths
259  (path-strip strip (path path path))
260  (path-inf? path_inf (bool path path))
261  (path-inf-eq? path_inf_eq (bool path path))
262  (path-less? path_less (bool path path))
263  (path-less-eq? path_less_eq (bool path path))
264  (path-start start (path content path))
265  (path-end end (path content path))
266  (path-next next_valid (path content path))
267  (path-previous previous_valid (path content path))
268  (path-next-word next_word (path content path))
269  (path-previous-word previous_word (path content path))
270  (path-next-node next_node (path content path))
271  (path-previous-node previous_node (path content path))
272  (path-next-tag next_tag (path content path scheme_tree))
273  (path-previous-tag previous_tag (path content path scheme_tree))
274  (path-next-tag-same-argument next_tag_same_argument
275			       (path content path scheme_tree))
276  (path-previous-tag-same-argument previous_tag_same_argument
277				   (path content path scheme_tree))
278  (path-next-argument next_argument (path content path))
279  (path-previous-argument previous_argument (path content path))
280  (path-previous-section previous_section (path content path))
281
282  ;; modifications on trees
283  (make-modification make_modification (modification string path content))
284  (modification-assign mod_assign (modification path content))
285  (modification-insert mod_insert (modification path int content))
286  (modification-remove mod_remove (modification path int int))
287  (modification-split mod_split (modification path int int))
288  (modification-join mod_join (modification path int))
289  (modification-assign-node mod_assign_node (modification path tree_label))
290  (modification-insert-node mod_insert_node (modification path int content))
291  (modification-remove-node mod_remove_node (modification path int))
292  (modification-set-cursor mod_set_cursor (modification path int content))
293  (modification-kind get_type (string modification))
294  (modification-path get_path (path modification))
295  (modification-tree get_tree (tree modification))
296  (modification-root root (path modification))
297  (modification-index index (int modification))
298  (modification-argument argument (int modification))
299  (modification-label L (tree_label modification))
300
301  (modification-copy copy (modification modification))
302  (modification-applicable? is_applicable (bool content modification))
303  (modification-apply var_clean_apply (tree content modification))
304  (modification-inplace-apply var_apply (tree tree modification))
305  (modification-invert invert (modification modification content))
306  (modification-commute? commute (bool modification modification))
307  (modification-can-pull? can_pull (bool modification modification))
308  (modification-pull pull (modification modification modification))
309  (modification-co-pull co_pull (modification modification modification))
310
311  ;; patches
312  (patch-pair patch (patch modification modification))
313  (patch-compound patch (patch array_patch))
314  (patch-branch branch_patch (patch array_patch))
315  (patch-birth patch (patch double bool))
316  (patch-author patch (patch double patch))
317  (patch-pair? is_modification (bool patch))
318  (patch-compound? is_compound (bool patch))
319  (patch-branch? is_branch (bool patch))
320  (patch-birth? is_birth (bool patch))
321  (patch-author? is_author (bool patch))
322  (patch-arity N (int patch))
323  (patch-ref access (patch patch int))
324  (patch-direct get_modification (modification patch))
325  (patch-inverse get_inverse (modification patch))
326  (patch-get-birth get_birth (bool patch))
327  (patch-get-author get_author (double patch))
328
329  (patch-copy copy (patch patch))
330  (patch-applicable? is_applicable (bool patch content))
331  (patch-apply var_clean_apply (tree content patch))
332  (patch-inplace-apply var_apply (tree tree patch))
333  (patch-compactify compactify (patch patch))
334  (patch-cursor-hint cursor_hint (path patch content))
335  (patch-invert invert (patch patch content))
336  (patch-commute? commute (bool patch patch))
337  (patch-can-pull? can_pull (bool patch patch))
338  (patch-pull pull (patch patch patch))
339  (patch-co-pull co_pull (patch patch patch))
340  (patch-remove-set-cursor remove_set_cursor (patch patch))
341  (patch-modifies? does_modify (bool patch))
342
343  ;; links
344  (tree->ids get_ids (list_string tree))
345  (id->trees get_trees (list_tree string))
346  (vertex->links get_links (list_tree content))
347  (tree->tree-pointer tree_pointer_new (observer tree))
348  (tree-pointer-detach tree_pointer_delete (void observer))
349  (tree-pointer->tree obtain_tree (tree observer))
350  (current-link-types all_link_types (list_string))
351  (get-locus-rendering get_locus_rendering (string string))
352  (set-locus-rendering set_locus_rendering (void string string))
353  (declare-visited declare_visited (void string))
354  (has-been-visited? has_been_visited (bool string))
355
356  (graphics-set set_graphical_value (void content content))
357  (graphics-has? has_graphical_value (bool content))
358  (graphics-ref get_graphical_value (tree content))
359  (graphics-needs-update? graphics_needs_update (bool))
360  (graphics-notify-update graphics_notify_update (void content))
361
362  ;; routines for strings
363  (string-number? is_double (bool string))
364  (string-occurs? occurs (bool string string))
365  (string-count-occurrences count_occurrences (int string string))
366  (string-search-forwards search_forwards (int string int string))
367  (string-search-backwards search_backwards (int string int string))
368  (string-overlapping overlapping (int string string))
369  (string-replace replace (string string string string))
370  (string-alpha? is_alpha (bool string))
371  (string-locase-alpha? is_locase_alpha (bool string))
372  (upcase-first upcase_first (string string))
373  (locase-first locase_first (string string))
374  (upcase-all upcase_all (string string))
375  (locase-all locase_all (string string))
376  (string-union string_union (string string string))
377  (string-minus string_minus (string string string))
378  (escape-generic escape_generic (string string))
379  (escape-verbatim escape_verbatim (string string))
380  (escape-shell escape_sh (string string))
381  (escape-to-ascii cork_to_ascii (string string))
382  (unescape-guile unescape_guile (string string))
383  (string-quote scm_quote (string string))
384  (string-unquote scm_unquote (string string))
385  (string-convert convert (string string string string))
386  (encode-base64 encode_base64 (string string))
387  (decode-base64 decode_base64 (string string))
388  (sourcecode->cork sourcecode_to_cork (string string))
389  (cork->sourcecode cork_to_sourcecode (string string))
390  (utf8->cork utf8_to_cork (string string))
391  (cork->utf8 cork_to_utf8 (string string))
392  (utf8->t2a utf8_to_t2a (string string))
393  (t2a->utf8 t2a_to_utf8 (string string))
394  (utf8->html utf8_to_html (string string))
395  (guess-wencoding guess_wencoding (string string))
396  (tm->xml-name tm_to_xml_name (string string))
397  (old-tm->xml-cdata old_tm_to_xml_cdata (string string))
398  (tm->xml-cdata tm_to_xml_cdata (object string))
399  (xml-name->tm xml_name_to_tm (string string))
400  (old-xml-cdata->tm old_xml_cdata_to_tm (string string))
401  (xml-unspace xml_unspace (string string bool bool))
402  (integer->hexadecimal as_hexadecimal (string int))
403  (integer->padded-hexadecimal as_hexadecimal (string int int))
404  (hexadecimal->integer from_hexadecimal (int string))
405  (cpp-string-tokenize tokenize (array_string string string))
406  (cpp-string-recompose recompose (string array_string string))
407
408  ; Program bracket matching
409  (find-left-bracket find_left_bracket (path path string string))
410  (find-right-bracket find_right_bracket (path path string string))
411
412  ;; routines for strings in the TeXmacs encoding
413  (string->tmstring tm_encode (string string))
414  (tmstring->string tm_decode (string string))
415  (tmstring-length tm_string_length (int string))
416  (tmstring-ref tm_forward_access (string string int))
417  (tmstring-reverse-ref tm_backward_access (string string int))
418  (tmstring->list tm_tokenize (array_string string))
419  (list->tmstring tm_recompose (string array_string))
420  (string-next tm_char_next (int string int))
421  (string-previous tm_char_previous (int string int))
422  (tmstring-split tm_string_split (array_string string))
423
424  (tmstring-translit uni_translit (string string))
425  (tmstring-locase-first uni_locase_first (string string))
426  (tmstring-upcase-first uni_upcase_first (string string))
427  (tmstring-locase-all uni_locase_all (string string))
428  (tmstring-upcase-all uni_upcase_all (string string))
429
430  ;; Packrat grammar and parsing tools
431  (packrat-define packrat_define (void string string tree))
432  (packrat-property packrat_property (void string string string string))
433  (packrat-inherit packrat_inherit (void string string))
434  (packrat-parse packrat_parse (path string string content))
435  (packrat-correct? packrat_correct (bool string string content))
436  (packrat-context packrat_context (object string string content path))
437  (syntax-read-preferences initialize_color_decodings (void string))
438
439  ;; further conversion routines for trees and strings
440  (parse-texmacs texmacs_document_to_tree (tree string))
441  (serialize-texmacs tree_to_texmacs (string tree))
442  (parse-texmacs-snippet texmacs_to_tree (tree string))
443  (serialize-texmacs-snippet tree_to_texmacs (string tree))
444  (texmacs->stm tree_to_scheme (string tree))
445  (stm->texmacs scheme_document_to_tree (tree string))
446  (stm-snippet->texmacs scheme_to_tree (tree string))
447  (cpp-texmacs->verbatim tree_to_verbatim (string tree bool string))
448  (cpp-verbatim-snippet->texmacs verbatim_to_tree (tree string bool string))
449  (cpp-verbatim->texmacs verbatim_document_to_tree (tree string bool string))
450  (parse-latex parse_latex (tree string))
451  (parse-latex-document parse_latex_document (tree string))
452  (latex->texmacs latex_to_tree (tree tree))
453  (cpp-latex-document->texmacs latex_document_to_tree (tree string bool))
454  (latex-class-document->texmacs latex_class_document_to_tree (tree string))
455  (tracked-latex->texmacs tracked_latex_to_texmacs (tree string bool))
456  (conservative-texmacs->latex conservative_texmacs_to_latex
457                               (string content object))
458  (tracked-texmacs->latex tracked_texmacs_to_latex (string content object))
459  (conservative-latex->texmacs conservative_latex_to_texmacs (tree string bool))
460  (get-line-number get_line_number (int string int))
461  (get-column-number get_column_number (int string int))
462  (try-latex-export try_latex_export (tree content object url url))
463  (parse-xml parse_xml (scheme_tree string))
464  (parse-html parse_html (scheme_tree string))
465  (parse-bib parse_bib (tree string))
466  (conservative-bib-import conservative_bib_import
467                           (tree string content string))
468  (conservative-bib-export conservative_bib_export
469                           (string content string content))
470  (upgrade-tmml tmml_upgrade (tree scheme_tree))
471  (upgrade-mathml upgrade_mathml (tree content))
472  (vernac->texmacs vernac_to_tree (tree string))
473  (vernac-document->texmacs vernac_document_to_tree (tree string))
474  (compute-keys-string compute_keys (array_string string string))
475  (compute-keys-tree compute_keys (array_string content string))
476  (compute-keys-url compute_keys (array_string url))
477  (compute-index-string compute_index (scheme_tree string string))
478  (compute-index-tree compute_index (scheme_tree content string))
479  (compute-index-url compute_index (scheme_tree url))
480
481  ;; routines for urls
482  (url->url url (url url))
483  (root->url url_root (url string))
484  (string->url url (url string))
485  (url->string as_string (string url))
486  (url->stree as_tree (scheme_tree url))
487  (system->url url_system (url string))
488  (url->system as_system_string (string url))
489  (unix->url url_unix (url string))
490  (url->unix as_unix_string (string url))
491  (url-unix url (url string string))
492  (url-none url_none (url))
493  (url-any url_wildcard (url))
494  (url-wildcard url_wildcard (url string))
495  (url-pwd url_pwd (url))
496  (url-parent url_parent (url))
497  (url-ancestor url_ancestor (url))
498  (url-append url_concat (url url url))
499  (url-or url_or (url url url))
500  (url-none? is_none (bool url))
501  (url-rooted? is_rooted (bool url))
502  (url-rooted-protocol? is_rooted (bool url string))
503  (url-rooted-web? is_rooted_web (bool url))
504  (url-rooted-tmfs? is_rooted_tmfs (bool url))
505  (url-rooted-tmfs-protocol? is_rooted_tmfs (bool url string))
506  (url-root get_root (string url))
507  (url-unroot unroot (url url))
508  (url-atomic? is_atomic (bool url))
509  (url-concat? is_concat (bool url))
510  (url-or? is_or (bool url))
511  (url-ref url_ref (url url int))
512  (url-head head (url url))
513  (url-tail tail (url url))
514  (url-format file_format (string url))
515  (url-suffix suffix (string url))
516  (url-basename basename (string url))
517  (url-glue glue (url url string))
518  (url-unglue unglue (url url int))
519  (url-relative relative (url url url))
520  (url-expand expand (url url))
521  (url-factor factor (url url))
522  (url-delta delta (url url url))
523  (url-secure? is_secure (bool url))
524  (url-descends? descends (bool url url))
525
526  (url-complete complete (url url string))
527  (url-resolve resolve (url url string))
528  (url-resolve-in-path resolve_in_path (url url))
529  (url-exists? exists (bool url))
530  (url-exists-in-path? exists_in_path (bool url))
531  (url-exists-in-tex? exists_in_tex (bool url))
532  (url-concretize concretize (string url))
533  (url-materialize materialize (string url string))
534  (url-test? is_of_type (bool url string))
535  (url-regular? is_regular (bool url))
536  (url-directory? is_directory (bool url))
537  (url-link? is_symbolic_link (bool url))
538  (url-newer? is_newer (bool url url))
539  (url-last-modified last_modified (int url))
540  (url-temp url_temp (url))
541  (url-scratch url_scratch (url string string int))
542  (url-scratch? is_scratch (bool url))
543  (url-cache-invalidate web_cache_invalidate (void url))
544  (string-save string_save (void string url))
545  (string-load string_load (string url))
546  (string-append-to-file string_append_to_file (void string url))
547  (system-move move (void url url))
548  (system-copy copy (void url url))
549  (system-remove remove (void url))
550  (system-mkdir mkdir (void url))
551  (system-rmdir rmdir (void url))
552  (system-search-score search_score (int url array_string))
553  (system-1 system (void string url))
554  (system-2 system (void string url url))
555  (system-url->string sys_concretize (string url))
556  (url-grep grep (url string url))
557  (url-search-upwards search_file_upwards (url url string array_string))
558
559  ;; Persistent data
560  (persistent-set persistent_set (void url string string))
561  (persistent-remove persistent_reset (void url string))
562  (persistent-has? persistent_contains (bool url string))
563  (persistent-get persistent_get (string url string))
564  (persistent-file-name persistent_file_name (url url string))
565
566  ;; native TeXmacs databases
567  (tmdb-keep-history keep_history (void url bool))
568  (tmdb-set-field set_field (void url string string array_string double))
569  (tmdb-get-field get_field (array_string url string string double))
570  (tmdb-remove-field remove_field (void url string string double))
571  (tmdb-get-attributes get_attributes (array_string url string double))
572  (tmdb-set-entry set_entry (void url string scheme_tree double))
573  (tmdb-get-entry get_entry (scheme_tree url string double))
574  (tmdb-remove-entry remove_entry (void url string double))
575  (tmdb-query query (array_string url scheme_tree double int))
576  (tmdb-inspect-history inspect_history (void url string))
577  (tmdb-get-completions get_completions (array_string url string))
578  (tmdb-get-name-completions get_name_completions (array_string url string))
579
580  ;; SQL interface
581  (supports-sql? sqlite3_present (bool))
582  (sql-exec sql_exec (scheme_tree url string))
583  (sql-quote sql_quote (string string))
584
585  ;; TeXmacs servers and clients
586  (server-start server_start (void))
587  (server-stop server_stop (void))
588  (server-read server_read (string int))
589  (server-write server_write (void int string))
590  (server-started? server_started (bool))
591  (client-start client_start (int string))
592  (client-stop client_stop (void int))
593  (client-read client_read (string int))
594  (client-write client_write (void int string))
595  (enter-secure-mode enter_secure_mode (void int))
596
597  ;; connections to extern systems
598  (connection-start connection_start (string string string))
599  (connection-status connection_status (int string string))
600  (connection-write-string connection_write (void string string string))
601  (connection-write connection_write (void string string content))
602  (connection-cmd connection_cmd (tree string string string))
603  (connection-eval connection_eval (tree string string content))
604  (connection-interrupt connection_interrupt (void string string))
605  (connection-stop connection_stop (void string string))
606
607  ;; widgets
608  (widget-printer printer_widget (widget command url))
609  (widget-color-picker color_picker_widget (widget command bool array_tree))
610  (widget-extend extend (widget widget array_widget))
611  (widget-hmenu horizontal_menu (widget array_widget))
612  (widget-vmenu vertical_menu (widget array_widget))
613  (widget-tmenu tile_menu (widget array_widget int))
614  (widget-minibar-menu minibar_menu (widget array_widget))
615  (widget-separator menu_separator (widget bool))
616  (widget-menu-group menu_group (widget string int))
617  (widget-pulldown-button pulldown_button (widget widget promise_widget))
618  (widget-pullright-button pullright_button (widget widget promise_widget))
619  (widget-menu-button menu_button (widget widget command string string int))
620  (widget-toggle toggle_widget (widget command bool int))
621  (widget-balloon balloon_widget (widget widget widget))
622  (widget-empty empty_widget (widget))
623  (widget-text text_widget (widget string int int bool))
624  (widget-input input_text_widget
625		(widget command string array_string int string))
626  (widget-enum enum_widget (widget command array_string string int string))
627  (widget-choice choice_widget (widget command array_string string))
628  (widget-choices choice_widget (widget command array_string array_string))
629  (widget-filtered-choice choice_widget
630    (widget command array_string string string))
631  (widget-tree-view tree_view_widget (widget command tree tree))
632  (widget-xpm xpm_widget (widget url))
633  (widget-box box_widget (widget scheme_tree string int bool bool))
634  (widget-glue glue_widget (widget bool bool int int))
635  (widget-color glue_widget (widget content bool bool int int))
636  (widget-hlist horizontal_list (widget array_widget))
637  (widget-vlist vertical_list (widget array_widget))
638  (widget-aligned aligned_widget (widget array_widget array_widget))
639  (widget-tabs tabs_widget (widget array_widget array_widget))
640  (widget-icon-tabs icon_tabs_widget (widget array_url array_widget
641                                             array_widget))
642  (widget-scrollable user_canvas_widget (widget widget int))
643  (widget-resize resize_widget (widget widget int string string string string
644                                       string string string string))
645  (widget-hsplit hsplit_widget (widget widget widget))
646  (widget-vsplit vsplit_widget (widget widget widget))
647  (widget-texmacs-output texmacs_output_widget (widget content content))
648  (widget-texmacs-input texmacs_input_widget (widget content content url))
649  (widget-ink ink_widget (widget command))
650  (widget-refresh refresh_widget (widget string string))
651  (widget-refreshable refreshable_widget (widget object string))
652  (object->promise-widget as_promise_widget (promise_widget object))
653  (tree-bounding-rectangle get_bounding_rectangle (array_int tree))
654  (widget-size get_widget_size (array_int widget))
655  (show-balloon show_help_balloon (void widget int int))
656  (get-style-menu get_style_menu (object))
657  (hidden-package? hidden_package (bool string))
658  (get-add-package-menu get_add_package_menu (object))
659  (get-remove-package-menu get_remove_package_menu (object))
660  (get-toggle-package-menu get_toggle_package_menu (object))
661  (refresh-now windows_refresh (void string))
662
663  ;; buffers
664  (buffer-list get_all_buffers (array_url))
665  (current-buffer-url get_current_buffer_safe (url))
666  (path-to-buffer path_to_buffer (url path))
667  (buffer-new make_new_buffer (url))
668  (buffer-rename rename_buffer (void url url))
669  (buffer-set set_buffer_tree (void url content))
670  (buffer-get get_buffer_tree (tree url))
671  (buffer-set-body set_buffer_body (void url content))
672  (buffer-get-body get_buffer_body (tree url))
673  (buffer-set-master set_master_buffer (void url url))
674  (buffer-get-master get_master_buffer (url url))
675  (buffer-set-title set_title_buffer (void url string))
676  (buffer-get-title get_title_buffer (string url))
677  (buffer-last-save get_last_save_buffer (int url))
678  (buffer-last-visited last_visited (double url))
679  (buffer-modified? buffer_modified (bool url))
680  (buffer-modified-since-autosave? buffer_modified_since_autosave (bool url))
681  (buffer-pretend-modified pretend_buffer_modified (void url))
682  (buffer-pretend-saved pretend_buffer_saved (void url))
683  (buffer-pretend-autosaved pretend_buffer_autosaved (void url))
684  (buffer-attach-notifier attach_buffer_notifier (void url))
685  (buffer-has-name? buffer_has_name (bool url))
686  (buffer-aux? is_aux_buffer (bool url))
687  (buffer-import buffer_import (bool url url string))
688  (buffer-load buffer_load (bool url))
689  (buffer-export buffer_export (bool url url string))
690  (buffer-save buffer_save (bool url))
691  (tree-import-loaded import_loaded_tree (tree string url string))
692  (tree-import import_tree (tree url string))
693  (tree-export export_tree (bool tree url string))
694  (tree-load-style load_style_tree (tree string))
695  (buffer-focus focus_on_buffer (bool url))
696
697  (view-list get_all_views (array_url))
698  (buffer->views buffer_to_views (array_url url))
699  (current-view-url get_current_view_safe (url))
700  (window->view window_to_view (url url))
701  (view->buffer view_to_buffer (url url))
702  (view->window-url view_to_window (url url))
703  (view-new get_new_view (url url))
704  (view-passive get_passive_view (url url))
705  (view-recent get_recent_view (url url))
706  (view-delete delete_view (void url))
707  (window-set-view window_set_view (void url url bool))
708  (switch-to-buffer switch_to_buffer (void url))
709
710  (window-list windows_list (array_url))
711  (windows-number get_nr_windows (int))
712  (current-window get_current_window (url))
713  (buffer->windows buffer_to_windows (array_url url))
714  (window-to-buffer window_to_buffer (url url))
715  (window-set-buffer window_set_buffer (void url url))
716  (window-focus window_focus (void url))
717
718  (new-buffer create_buffer (url))
719  (open-buffer-in-window new_buffer_in_new_window (url url content content))
720  (open-window open_window (url))
721  (open-window-geometry open_window (url content))
722  (clone-window clone_window (void))
723  (buffer-close kill_buffer (void url))
724  (kill-window kill_window (void url))
725  (kill-current-window-and-buffer kill_current_window_and_buffer (void))
726
727  (project-attach project_attach (void string))
728  (project-detach project_attach (void))
729  (project-attached? project_attached (bool))
730  (project-get project_get (url))
731
732  ;; transitional alternative windows; to be replaced by better solution
733  (alt-window-handle window_handle (int))
734  (alt-window-create window_create (void int widget string bool))
735  (alt-window-create-quit window_create (void int widget string command))
736  (alt-window-delete window_delete (void int))
737  (alt-window-show window_show (void int))
738  (alt-window-hide window_hide (void int))
739  (alt-window-get-size window_get_size (scheme_tree int))
740  (alt-window-set-size window_set_size (void int int int))
741  (alt-window-get-position window_get_position (scheme_tree int))
742  (alt-window-set-position window_set_position (void int int int))
743
744  ;; routines for BibTeX
745  (bibtex-run bibtex_run (tree string string url array_string))
746  (bib-add-period bib_add_period (scheme_tree scheme_tree))
747  (bib-locase-first bib_locase_first (scheme_tree scheme_tree))
748  (bib-upcase-first bib_upcase_first (scheme_tree scheme_tree))
749  (bib-locase bib_locase (scheme_tree scheme_tree))
750  (bib-upcase bib_upcase (scheme_tree scheme_tree))
751  (bib-default-preserve-case bib_default_preserve_case (scheme_tree scheme_tree))
752  (bib-default-upcase-first bib_default_upcase_first (scheme_tree scheme_tree))
753  (bib-purify bib_purify (string scheme_tree))
754  (bib-text-length bib_text_length (int scheme_tree))
755  (bib-prefix bib_prefix (string scheme_tree int))
756  (bib-empty? bib_empty (bool scheme_tree string))
757  (bib-field bib_field (scheme_tree scheme_tree string))
758  (bib-abbreviate bib_abbreviate
759		  (scheme_tree scheme_tree scheme_tree scheme_tree)))
760