]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 320c816) | patch
- splitted out History module
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:37:07 +0000 (09:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:37:07 +0000 (09:37 +0000)
commitc71d85e81edbf2643df8267dbcf90d22031c9ea9
tree268e4c6b792ca96dcfd1cfd39a71f3b95732412etree | snapshot
parent320c8160281494f533649ed356ab88c1ffc3d6b8commit | diff
- splitted out History module
- exported all_events
- status is now a pair proof * goal _option_ so that completed proofs
  have their entry in the history and could be passed to observers
- added set_metasenv method to change imperatively metasenv
- added explicit notification method notify
helm/ocaml/tactics/statefulProofEngine.ml diff | blob | history
helm/ocaml/tactics/statefulProofEngine.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.