]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81cc12a) | patch
Now "only" constraint are more restrictive.
authornatile <??>
Mon, 9 Dec 2002 12:08:46 +0000 (12:08 +0000)
committernatile <??>
Mon, 9 Dec 2002 12:08:46 +0000 (12:08 +0000)
commit23886971f037b00a358d9b422aa0b3b40a75dc10
tree6577eae921bdef48faad38728737b6d5d7d18414tree | snapshot
parent81cc12ae4ebd9741585b38f41c7fb5eb6c5ae916commit | diff
Now "only" constraint are more restrictive.
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/mQueryGenerator.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.