]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db593c4) | patch
First implementation of the new generalized SearchPattern on the whole
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 2 Dec 2002 18:18:02 +0000 (18:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 2 Dec 2002 18:18:02 +0000 (18:18 +0000)
commita370bf72d9e59254327ae3801ed4201f9981c6f0
tree3f64b2e3bb53a81a8f650a8127a588bd2458a4catree | snapshot
parentdb593c40165a5ac71b6aa87e43e90b8b45e8ed59commit | diff
First implementation of the new generalized SearchPattern on the whole
type (not only the conclusion). Despite the file name, no levels have
been implemented so far.
helm/gTopLevel/.depend diff | blob | history
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/mQueryLevels2.ml [new file with mode: 0644] blob
helm/gTopLevel/mQueryLevels2.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.