]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5ff3bf) | patch
- added HBugs support
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Feb 2003 17:27:11 +0000 (17:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Feb 2003 17:27:11 +0000 (17:27 +0000)
commitc205359e224034e2024947fc4cd1801d37b7c824
treeae7feaf7a2aaea301e3090793740a45424743f64tree | snapshot
parentc5ff3bf7bda01b5194e502aef5e9e47a49ecf1adcommit | diff
- added HBugs support
- switched to multi threaded implementation
- fixed references from Misc to MQueryMisc module
- moved search pattern apply in ../ocaml/tactics/tacticChaser.ml*
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.