/[geocaml]/geocaml/src/main.ml
ViewVC logotype

Diff of /geocaml/src/main.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.4 by adoniec, Mon Mar 31 07:40:30 2003 UTC revision 1.5 by gmariano, Mon Mar 31 10:11:47 2003 UTC
# Line 1  Line 1 
1    (* $Id$ *)
2    
3  type to_do = LATEX | PS | XML | DRAWING | EMPTY  type to_do = LATEX | PS | XML | DRAWING | EMPTY
4    
# Line 109  let main() = Line 110  let main() =
110      (match !toopen with      (match !toopen with
111      | SOURCE ->      | SOURCE ->
112          begin          begin
113            print_string ("GeOCaml v0.0.1\n");            print_string ("GeOCaml v0.2\n");
114            flush stdout;            flush stdout;
115            analyse_file !sources            analyse_file !sources
116          end          end

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26