]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e0cc60) | patch
Meta no longer raise a failure. Instead they return an empty set of
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Mar 2004 09:52:33 +0000 (09:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Mar 2004 09:52:33 +0000 (09:52 +0000)
commit70b2f6a3f29be2e1e898fe7d63bd985a5b31ae35
tree2a3651ce929f3174b51f97d68ffb95adaf55c9a5tree | snapshot
parent8e0cc60ace0568fef849d0a689ab222010c17e33commit | diff
Meta no longer raise a failure. Instead they return an empty set of
constraints. This is just a temporary patch. To be understood.
helm/ocaml/mathql_generator/cGSearchPattern.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.