]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e1469c) | patch
added goals_of_proof
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Oct 2005 12:53:57 +0000 (12:53 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Oct 2005 12:53:57 +0000 (12:53 +0000)
commitc334523c4ff9b584ac108097fa6430e29f935e8f
tree5f3949828679292be7ed3960b7693e1a32484634tree | snapshot
parent0e1469c982280f2606c4b35253a2d5ba91cb16e4commit | diff
added goals_of_proof
helm/ocaml/tactics/proofEngineTypes.ml diff | blob | history
helm/ocaml/tactics/proofEngineTypes.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.