]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb94e5a) | patch
new tacticals
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Oct 2005 13:49:08 +0000 (13:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Oct 2005 13:49:08 +0000 (13:49 +0000)
commit9e8c5d2163e701413517153f00a52dac1cd31ecd
treea466c6b5d702035ebe7520b81d8476d5392672actree | snapshot
parentfb94e5a71be508516514dfe50528ccfb3cd2da91commit | diff
new tacticals
32 files changed:
helm/matita/buildTimeConf.ml.in diff | blob | history
helm/matita/closed.xml [new file with mode: 0644] blob
helm/matita/configure.ac diff | blob | history
helm/matita/matita.glade diff | blob | history
helm/matita/matita.ml diff | blob | history
helm/matita/matitaEngine.ml diff | blob | history
helm/matita/matitaEngine.mli diff | blob | history
helm/matita/matitaExcPp.ml diff | blob | history
helm/matita/matitaGtkMisc.ml diff | blob | history
helm/matita/matitaGtkMisc.mli diff | blob | history
helm/matita/matitaGui.ml diff | blob | history
helm/matita/matitaGuiTypes.mli diff | blob | history
helm/matita/matitaInit.ml diff | blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaMisc.ml diff | blob | history
helm/matita/matitaMisc.mli diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitaScript.mli diff | blob | history
helm/matita/matitaTypes.ml diff | blob | history
helm/matita/matitaTypes.mli diff | blob | history
helm/ocaml/cic_notation/cicNotationLexer.ml diff | blob | history
helm/ocaml/cic_notation/grafiteAst.ml diff | blob | history
helm/ocaml/cic_notation/grafiteAstPp.ml diff | blob | history
helm/ocaml/cic_notation/grafiteParser.ml diff | blob | history
helm/ocaml/cic_notation/grafiteParser.mli diff | blob | history
helm/ocaml/tactics/.depend diff | blob | history
helm/ocaml/tactics/Makefile diff | blob | history
helm/ocaml/tactics/continuationals.ml diff | blob | history
helm/ocaml/tactics/continuationals.mli diff | blob | history
helm/ocaml/tactics/eliminationTactics.ml diff | blob | history
helm/ocaml/tactics/tacticals.ml diff | blob | history
helm/ocaml/tactics/tacticals.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.