]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0728706) | patch
renamed mathita to matita
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Apr 2004 09:27:36 +0000 (09:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Apr 2004 09:27:36 +0000 (09:27 +0000)
commitc5d4ad1c98c1434b95a8a9b1c8697dd36cf39623
treef7e253c8bcdec4c08d53bbf1ba3f236460caf67btree | snapshot
parent07287062d5b84a0f2b66380d0d380bbf68217a27commit | diff
renamed mathita to matita
28 files changed:
helm/mathita/.cvsignore [deleted file] blob | history
helm/mathita/.depend [deleted file] blob | history
helm/mathita/Makefile [deleted file] blob | history
helm/mathita/mathita.conf.xml.sample [deleted file] blob | history
helm/mathita/mathita.glade [deleted file] blob | history
helm/mathita/mathita.gladep [deleted file] blob | history
helm/mathita/mathita.ml [deleted file] blob | history
helm/mathita/mathitaGeneratedGui.ml [deleted file] blob | history
helm/mathita/mathitaGeneratedGui.mli [deleted file] blob | history
helm/mathita/mathitaGtkMisc.ml [deleted file] blob | history
helm/mathita/mathitaGtkMisc.mli [deleted file] blob | history
helm/mathita/mathitaGui.ml [deleted file] blob | history
helm/mathita/mathitaGui.mli [deleted file] blob | history
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/matita.conf.xml.sample [new file with mode: 0644] blob
helm/matita/matita.glade [new file with mode: 0644] blob
helm/matita/matita.gladep [new file with mode: 0644] blob
helm/matita/matita.ml [new file with mode: 0644] blob
helm/matita/matitaGeneratedGui.ml [new file with mode: 0644] blob
helm/matita/matitaGeneratedGui.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
Unnamed repository; edit this file 'description' to name the repository.