]> matita.cs.unibo.it Git - helm.git/tree - helm/gTopLevel/
snapshort
[helm.git] / helm / gTopLevel /
drwxr-xr-x   ..
-rw-r--r-- 303 .cvsignore
-rw-r--r-- 2196 .depend
-rw-r--r-- 472 INSTALL
-rw-r--r-- 5519 Makefile.in
-rw-r--r-- 5074 TATTICHE
-rw-r--r-- 2804 batchParser.ml
-rw-r--r-- 2024 batchParser.mli
-rw-r--r-- 21 chosenTermEditor.ml.in
-rw-r--r-- 705 chosenTermEditor.mli
-rw-r--r-- 2249 configure.ac
-rw-r--r-- 1421 dictionary-cic.xml
-rw-r--r-- 3219 disambiguatingParser.ml.in
-rw-r--r-- 1667 disambiguatingParser.mli
drwxr-xr-x - esempi
-rw-r--r-- 2750 gTopLevel.conf.xml.sample
-rw-r--r-- 98374 gTopLevel.ml
-rw-r--r-- 4261 hbugs.ml
-rw-r--r-- 1667 hbugs.mli
-rw-r--r-- 2449 helmGtkLogger.ml
-rw-r--r-- 1122 helmGtkLogger.mli
-rw-r--r-- 13980 invokeTactics.ml
-rw-r--r-- 4277 invokeTactics.mli
-rw-r--r-- 3950 logicalOperations.ml
-rw-r--r-- 1210 logicalOperations.mli
-rw-r--r-- 13310 oldDisambiguate.ml
-rw-r--r-- 3031 oldDisambiguate.mli
-rw-r--r-- 10404 proofEngine.ml
-rw-r--r-- 3515 proofEngine.mli
-rw-r--r-- 13565 regtest.ml
-rw-r--r-- 4694 rootcontent.xsl
-rwxr-xr-x 138 script.sh.sample
-rw-r--r-- 4294 termEditor.ml
-rw-r--r-- 1716 termEditor.mli
-rw-r--r-- 9979 termViewer.ml
-rw-r--r-- 4278 termViewer.mli
-rw-r--r-- 7120 testlibrary.ml
drwxr-xr-x - tests
-rw-r--r-- 8838 texTermEditor.ml
-rw-r--r-- 1759 texTermEditor.mli
-rw-r--r-- 414 typecheck_uri.ml