]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99d19e8) | patch
checked in new version of matita from svn
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Apr 2005 17:21:01 +0000 (17:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Apr 2005 17:21:01 +0000 (17:21 +0000)
commitde9a83f286eee12117fb478ea2db18f7faebac9a
tree0e9ce08f5bf444bf082e67d15e106e6a67959416tree | snapshot
parent99d19e834f7c1779ccd71e49247f9737b2f076bfcommit | diff
checked in new version of matita from svn
38 files changed:
helm/matita/.cvsignore [new file with mode: 0644] blob
helm/matita/.depend [new file with mode: 0644] blob
helm/matita/Makefile.in [new file with mode: 0644] blob
helm/matita/buildTimeConf.ml.in [new file with mode: 0644] blob
helm/matita/configure.ac [new file with mode: 0644] blob
helm/matita/icons/matita-bulb-high.png [new file with mode: 0644] blob
helm/matita/icons/matita-bulb-low.png [new file with mode: 0644] blob
helm/matita/icons/matita-bulb-medium.png [new file with mode: 0644] blob
helm/matita/matita.conf.xml [new file with mode: 0644] blob
helm/matita/matita.glade [new file with mode: 0644] blob
helm/matita/matita.gtkrc [new file with mode: 0644] blob
helm/matita/matita.ml [new file with mode: 0644] blob
helm/matita/matita.txt [new file with mode: 0644] blob
helm/matita/matitaDb.ml [new file with mode: 0644] blob
helm/matita/matitaDb.mli [new file with mode: 0644] blob
helm/matita/matitaDisambiguator.ml [new file with mode: 0644] blob
helm/matita/matitaDisambiguator.mli [new file with mode: 0644] blob
helm/matita/matitaEngine.ml [new file with mode: 0644] blob
helm/matita/matitaEngine.mli [new file with mode: 0644] blob
helm/matita/matitaGtkMisc.ml [new file with mode: 0644] blob
helm/matita/matitaGtkMisc.mli [new file with mode: 0644] blob
helm/matita/matitaGui.ml [new file with mode: 0644] blob
helm/matita/matitaGui.mli [new file with mode: 0644] blob
helm/matita/matitaLog.ml [new file with mode: 0644] blob
helm/matita/matitaLog.mli [new file with mode: 0644] blob
helm/matita/matitaMathView.ml [new file with mode: 0644] blob
helm/matita/matitaMathView.mli [new file with mode: 0644] blob
helm/matita/matitaMisc.ml [new file with mode: 0644] blob
helm/matita/matitaMisc.mli [new file with mode: 0644] blob
helm/matita/matitaScript.ml [new file with mode: 0644] blob
helm/matita/matitaScript.mli [new file with mode: 0644] blob
helm/matita/matitaSync.ml [new file with mode: 0644] blob
helm/matita/matitaSync.mli [new file with mode: 0644] blob
helm/matita/matitaTypes.ml [new file with mode: 0644] blob
helm/matita/matitac.ml [new file with mode: 0644] blob
helm/matita/tests/test1.ma [new file with mode: 0644] blob
helm/matita/tests/test2.ma [new file with mode: 0644] blob
helm/matita/tests/test3.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.