]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7e6ed7) | patch
The user interface for the completeSearchPattern query has been improved.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 13:18:47 +0000 (13:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 13:18:47 +0000 (13:18 +0000)
commita772e377c1ca7c43c3e1e25eb47479fc3c5ceb9e
tree3e512ec337b8b9bfb4902d9ba2ba757274157fb6tree | snapshot
parenta7e6ed7d50bc19be218b00f833b8839d00fca666commit | diff
The user interface for the completeSearchPattern query has been improved.
It is now "easy" to query for induction principles, for example.
Much work still to do.
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.