1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet PARA, INRIA Rocquencourt *)
(* *)
(* Copyright 1998 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
open Misc
open Text
exception Error of string
let set_out=Text.set_out;;
let stop = Text.stop;;
let restart = Text.restart;;
let is_empty=Text.is_empty;;
let get_fontsize=Text.get_fontsize;;
let nostyle=Text.nostyle;;
let clearstyle=Text.clearstyle;;
let open_mod=open_mod;;
let erase_mods=Text.erase_mods;;
let has_mod = Text.has_mod;;
let forget_par = Text.forget_par;;
let open_par = Text.open_par;;
let close_par = Text.close_par;;
let par=Text.par;;
let open_block =Text.open_block;;
let close_block =Text.close_block;;
let force_block =Text.force_block;;
let close_flow =Text.close_flow;;
let insert_block =Text.insert_block;;
let insert_attr =Text.insert_attr;;
let open_maths = Text.open_maths
and close_maths = Text.close_maths ;;
let open_display_varg =Text.open_display_varg;;
let open_display =Text.open_display;;
let close_display =Text.close_display;;
let item_display =Text.item_display;;
let force_item_display =Text.force_item_display;;
let erase_display =Text.erase_display
and standard_sup_sub = Text.standard_sup_sub
and limit_sup_sub = Text.limit_sup_sub
and int_sup_sub = Text.int_sup_sub
and addvsize = Text.addvsize
and over = Text.over
and left = Text.left
and right = Text.right
;;
let set_dcount =Text.set_dcount;;
let item = Text.item;;
let nitem = Text.nitem;;
let ditem = Text.ditem;;
let erase_block =Text.erase_block;;
let open_group =Text.open_group;;
let open_aftergroup =Text.open_aftergroup;;
let close_group =Text.close_group;;
let put s = Text.put s
and put_char c = Text.put_char c
and put_unicode i = Text.put_unicode i
let flush_out =Text.flush_out;;
let skip_line =Text.skip_line;;
(* Gestion des references *)
let loc_name=InfoRef.loc_name;;
let open_chan=Text.open_chan;;
let close_chan=Text.close_chan;;
let to_string=Text.to_string;;
let to_style=Text.to_style;;
let get_current_output =Text.get_current_output;;
(* Finalisation du fichier info *)
let finalize check =
if check then begin
if !verbose>1 then prerr_endline "Beginning of second phase.";
InfoRef.finalize_nodes ();
Text.finalize check ;
let name,buf =
if Parse_opts.filter then
let texte = get_current_output () in
"",MyLexing.from_string texte
else
(* changer de nom de fichier (renommer ?) *)
try
let f = Parse_opts.name_out^".tmp" in
f,Lexing.from_channel (open_in f)
with Sys_error msg ->
Misc.fatal ("Cannot re-open info output file "^msg)
in
InfoRef.dump buf ;
if not Parse_opts.filter && !verbose <= 0 then Mysys.remove name
end else
Text.finalize false
;;
let horizontal_line =Text.horizontal_line;;
let put_separator =Text.put_separator;;
let unskip = Text.unskip;;
let put_tag =Text.put_tag;;
let put_hspace =Text.put_hspace;;
let put_open_group =Text.put_open_group;;
let put_close_group =Text.put_close_group;;
let put_in_math =Text.put_in_math;;
let open_table =Text.open_table;;
let new_row =Text.new_row;;
let open_cell =Text.open_cell;;
let erase_cell =Text.erase_cell;;
let close_cell =Text.close_cell;;
let do_close_cell = Text.do_close_cell;;
let open_cell_group = Text.open_cell_group;;
let close_cell_group = Text.close_cell_group;;
let erase_cell_group = Text.erase_cell_group;;
let close_row =Text.close_row;;
let erase_row =Text.erase_row;;
let close_table =Text.close_table;;
let make_border = Text.make_border;;
let make_inside = Text.make_inside;;
let make_hline = Text.make_hline;;
let infonode = InfoRef.infonode;;
let infoextranode = InfoRef.infoextranode;;
let infomenu = InfoRef.infomenu;;
let image = Text.image;;
type saved = Text.saved
let check = Text.check
and hot = Text.hot
|
