]> matita.cs.unibo.it Git - helm.git/blob - matita/components/binaries/matex/TeX.ml
commit in ground_2, static_2, basic_2, apps_2
[helm.git] / matita / components / binaries / matex / TeX.ml
1 (*
2     ||M||  This file is part of HELM, an Hypertextual, Electronic        
3     ||A||  Library of Mathematics, developed at the Computer Science     
4     ||T||  Department, University of Bologna, Italy.                     
5     ||I||                                                                
6     ||T||  HELM is free software; you can redistribute it and/or         
7     ||A||  modify it under the terms of the GNU General Public License   
8     \   /  version 2 or (at your option) any later version.      
9      \ /   This software is distributed as is, NO WARRANTY.     
10       V_______________________________________________________________ *)
11
12 module L = List
13
14 module X = Ground
15
16 type item = Free  of string  (* free text *)
17           | Text  of string  (* quoted text *)
18           | Macro of string  (* macro *)
19           | Group of text    (* group *)
20           | Note  of string  (* comment *)
21          
22 and text = item list         (* structured text *)
23
24 let file_ext = ".tex"
25
26 let group s = Group s
27
28 let arg s = Group [Text s]
29
30 let free s = Group [Free s]
31
32 let mk_segs us =
33    L.rev_map arg ("" :: (L.rev us))
34
35 let mk_rev_args riss is =
36    X.rev_map_append group ([] :: riss) is
37
38 let rev_mk_args iss is =
39    free "" :: X.rev_map_append group iss is