]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f0d6e8) | patch
* Many improvements
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Apr 2002 12:57:42 +0000 (12:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Apr 2002 12:57:42 +0000 (12:57 +0000)
commitcba2bdcb2944a5d2a4f2e1560262430fd45e61e6
tree96c06394fb0177c6135197dfa06d3f32708bd241tree | snapshot
parent1f0d6e8932f4200a6b1956995225211df2a271a8commit | diff
* Many improvements
* Proofs are now rendered in natural language. The inner-types file is
  store in /public/sacerdot/innertypes and directly retrieved from there.
  We must find a better solution.
* Apply tactic now implemented. It is based on the unification stuff of
  Andrea.
helm/gTopLevel/.cvsignore [new file with mode: 0644] blob
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/cic2Xml.ml diff | blob | history
helm/gTopLevel/cic2acic.ml diff | blob | history
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/proofEngine.ml diff | blob | history
helm/gTopLevel/sequentPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.