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.
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_______________________________________________________________ *)
14 module R = Helm_registry
21 Scanf.sscanf s "%u %u" A.mk_exists
24 Scanf.sscanf s "%u" A.mk_or
27 Scanf.sscanf s "%u" A.mk_and
30 let preamble = L.get_preamble conf in
31 if R.has "xoa.objects" && R.has "xoa.notations" then begin
32 let ooch = L.open_out preamble (R.get_string "xoa.objects") in
33 let noch = L.open_out preamble (R.get_string "xoa.notations") in
34 List.iter (L.out_include ooch) (R.get_list R.string "xoa.include");
35 List.iter (E.generate ooch noch) (R.get_list unm_ex "xoa.ex");
36 List.iter (E.generate ooch noch) (R.get_list unm_or "xoa.or");
37 List.iter (E.generate ooch noch) (R.get_list unm_and "xoa.and");
38 close_out noch; close_out ooch
42 let help = "Usage: xoa [ -X | <configuration file> ]*\n" in
43 let help_X = " Clear configuration" in
45 "-X" , G.Unit R.clear, help_X;