]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06eea22) | patch
removed all old matita files (kept in attic)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Apr 2005 17:10:57 +0000 (17:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Apr 2005 17:10:57 +0000 (17:10 +0000)
commit3cf0591648726eee39e584ce3572d15224cf39b7
treec648ca03eb8b4557cc1a91b86caf3dc3df9954fctree | snapshot
parent06eea22fd7bfe29d103decac4dddce899cd20fbdcommit | diff
removed all old matita files (kept in attic)
38 files changed:
helm/matita/.cvsignore [deleted file] blob | history
helm/matita/Makefile.in [deleted file] blob | history
helm/matita/TODO [deleted file] blob | history
helm/matita/buildTimeConf.ml.in [deleted file] blob | history
helm/matita/configure.ac [deleted file] blob | history
helm/matita/matita.conf.xml.sample [deleted file] blob | history
helm/matita/matita.glade [deleted file] blob | history
helm/matita/matita.gladep [deleted file] blob | history
helm/matita/matita.gtkrc [deleted file] blob | history
helm/matita/matita.ml [deleted file] blob | history
helm/matita/matitaCicMisc.ml [deleted file] blob | history
helm/matita/matitaCicMisc.mli [deleted file] blob | history
helm/matita/matitaConsole.ml [deleted file] blob | history
helm/matita/matitaConsole.mli [deleted file] blob | history
helm/matita/matitaDb.ml [deleted file] blob | history
helm/matita/matitaDb.mli [deleted file] blob | history
helm/matita/matitaDisambiguator.ml [deleted file] blob | history
helm/matita/matitaDisambiguator.mli [deleted file] blob | history
helm/matita/matitaGeneratedGui.ml [deleted file] blob | history
helm/matita/matitaGeneratedGui.mli [deleted file] blob | history
helm/matita/matitaGtkMisc.ml [deleted file] blob | history
helm/matita/matitaGtkMisc.mli [deleted file] blob | history
helm/matita/matitaGui.ml [deleted file] blob | history
helm/matita/matitaGui.mli [deleted file] blob | history
helm/matita/matitaInterpreter.ml [deleted file] blob | history
helm/matita/matitaInterpreter.mli [deleted file] blob | history
helm/matita/matitaMathView.ml [deleted file] blob | history
helm/matita/matitaMathView.mli [deleted file] blob | history
helm/matita/matitaMisc.ml [deleted file] blob | history
helm/matita/matitaMisc.mli [deleted file] blob | history
helm/matita/matitaProof.ml [deleted file] blob | history
helm/matita/matitaProof.mli [deleted file] blob | history
helm/matita/matitaScript.ml [deleted file] blob | history
helm/matita/matitaScript.mli [deleted file] blob | history
helm/matita/matitaTypes.ml [deleted file] blob | history
helm/matita/matitaTypes.mli [deleted file] blob | history
helm/matita/matitac.ml [deleted file] blob | history
helm/matita/tests/coercions.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.