]> matita.cs.unibo.it Git - helm.git/tree - helm/gTopLevel/
ported to Dbi-disambiguation
[helm.git] / helm / gTopLevel /
drwxr-xr-x   ..
-rw-r--r-- 271 .cvsignore
-rw-r--r-- 2364 .depend
-rw-r--r-- 472 INSTALL
-rw-r--r-- 5414 Makefile.in
-rw-r--r-- 5074 TATTICHE
-rw-r--r-- 2777 batchParser.ml
-rw-r--r-- 1938 batchParser.mli
-rw-r--r-- 21 chosenTermEditor.ml.in
-rw-r--r-- 681 chosenTermEditor.mli
-rw-r--r-- 21 chosenTransformer.ml.in
-rw-r--r-- 2114 chosenTransformer.mli
-rw-r--r-- 2740 configure.ac
-rw-r--r-- 1421 dictionary-cic.xml
-rw-r--r-- 3181 disambiguatingParser.ml.in
-rw-r--r-- 1583 disambiguatingParser.mli
drwxr-xr-x - esempi
-rw-r--r-- 2659 gTopLevel.conf.xml.sample
-rw-r--r-- 99412 gTopLevel.ml
-rw-r--r-- 4316 hbugs.ml
-rw-r--r-- 1667 hbugs.mli
-rw-r--r-- 2449 helmGtkLogger.ml
-rw-r--r-- 1122 helmGtkLogger.mli
-rw-r--r-- 13907 invokeTactics.ml
-rw-r--r-- 4255 invokeTactics.mli
-rw-r--r-- 3855 logicalOperations.ml
-rw-r--r-- 1210 logicalOperations.mli
-rw-r--r-- 13199 oldDisambiguate.ml
-rw-r--r-- 3031 oldDisambiguate.mli
-rw-r--r-- 10344 proofEngine.ml
-rw-r--r-- 3516 proofEngine.mli
-rw-r--r-- 13435 regtest.ml
-rw-r--r-- 4694 rootcontent.xsl
-rwxr-xr-x 138 script.sh.sample
-rw-r--r-- 4107 termEditor.ml
-rw-r--r-- 1690 termEditor.mli
-rw-r--r-- 9933 termViewer.ml
-rw-r--r-- 4095 termViewer.mli
-rw-r--r-- 6486 testlibrary.ml
drwxr-xr-x - tests
-rw-r--r-- 8736 texTermEditor.ml
-rw-r--r-- 1733 texTermEditor.mli