]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 119 | .cvsignore | blob | history | raw |
-rw-r--r-- | 666 | .depend | blob | history | raw |
-rw-r--r-- | 1535 | Makefile.in | blob | history | raw |
-rw-r--r-- | 1011 | buildTimeConf.ml.in | blob | history | raw |
-rw-r--r-- | 2234 | configure.ac | blob | history | raw |
-rw-r--r-- | 204 | matita.conf.xml.sample | blob | history | raw |
-rw-r--r-- | 34333 | matita.glade | blob | history | raw |
-rw-r--r-- | 273 | matita.gladep | blob | history | raw |
-rw-r--r-- | 2441 | matita.ml | blob | history | raw |
-rw-r--r-- | 21166 | matitaGeneratedGui.ml | blob | history | raw |
-rw-r--r-- | 10315 | matitaGeneratedGui.mli | blob | history | raw |
-rw-r--r-- | 4664 | matitaGtkMisc.ml | blob | history | raw |
-rw-r--r-- | 2124 | matitaGtkMisc.mli | blob | history | raw |
-rw-r--r-- | 4074 | matitaGui.ml | blob | history | raw |
-rw-r--r-- | 1962 | matitaGui.mli | blob | history | raw |
-rw-r--r-- | 3682 | matitaProof.ml | blob | history | raw |
-rw-r--r-- | 2523 | matitaProof.mli | blob | history | raw |
-rw-r--r-- | 1656 | matitaTypes.ml | blob | history | raw |