]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14dc1c8) | patch
- semantics of tactic subst allmost fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Aug 2006 17:41:07 +0000 (17:41 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Aug 2006 17:41:07 +0000 (17:41 +0000)
commit4885f49660dc31fc6ecbed36c383b111381a8684
treef73d57faba2a81779e3d7e9c0f52e5619252fa7ftree | snapshot
parent14dc1c8085e0aa49a606f78655f693184827f72bcommit | diff
- semantics of tactic subst allmost fixed
- new tactical progress implemented (not working yet :( )
helm/software/components/grafite/grafiteAst.ml diff | blob | history
helm/software/components/grafite/grafiteAstPp.ml diff | blob | history
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
helm/software/components/grafite_parser/grafiteParser.ml diff | blob | history
helm/software/components/tactics/continuationals.ml diff | blob | history
helm/software/components/tactics/continuationals.mli diff | blob | history
helm/software/components/tactics/equalityTactics.ml diff | blob | history
helm/software/components/tactics/tacticals.ml diff | blob | history
helm/software/components/tactics/tacticals.mli diff | blob | history
helm/software/matita/matita.lang diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.