]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c82616) | patch
- bumped copyright years
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 Sep 2003 00:03:18 +0000 (00:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 Sep 2003 00:03:18 +0000 (00:03 +0000)
commit8937d201088466051f7f1d3f0253d66d5afbc39f
tree0c66f8f80666eb705430aff31cb2fd0dbdbba2d2tree | snapshot
parent9c82616da7a45061b3b85e32d598df30f5735196commit | diff
- bumped copyright years
- added support for proof checker environment dump/save/restore
- added support for hbugs notify upon goal change (disabled by default)
- added (re)submit option to hbugs menu
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.