Parent Directory | Revision Log | 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 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |