]>
-rw-r--r-- | 119 | .cvsignore | blob | raw |
-rw-r--r-- | 1000 | .depend | blob | raw |
-rw-r--r-- | 1572 | Makefile.in | blob | raw |
-rw-r--r-- | 1011 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 2281 | configure.ac | blob | raw |
-rw-r--r-- | 1342 | matita.conf.xml.sample | blob | raw |
-rw-r--r-- | 37950 | matita.glade | blob | raw |
-rw-r--r-- | 273 | matita.gladep | blob | raw |
-rw-r--r-- | 3769 | matita.ml | blob | raw |
-rw-r--r-- | 3314 | matitaDisambiguator.ml | blob | raw |
-rw-r--r-- | 1369 | matitaDisambiguator.mli | blob | raw |
-rw-r--r-- | 23323 | matitaGeneratedGui.ml | blob | raw |
-rw-r--r-- | 11474 | matitaGeneratedGui.mli | blob | raw |
-rw-r--r-- | 6927 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 2816 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 4250 | matitaGui.ml | blob | raw |
-rw-r--r-- | 2063 | matitaGui.mli | blob | raw |
-rw-r--r-- | 3682 | matitaProof.ml | blob | raw |
-rw-r--r-- | 2529 | matitaProof.mli | blob | raw |
-rw-r--r-- | 3420 | matitaTypes.ml | blob | raw |