]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56e6fd4) | patch
Bug fixed: there is an invariant that every attributed uri list must be
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 1 Jul 2002 09:13:36 +0000 (09:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 1 Jul 2002 09:13:36 +0000 (09:13 +0000)
commitf22ab48f16bbebd949368ae20574c80d757b1698
tree043abe196b6232a195f1a2fcb1653082dde870dftree | snapshot
parent56e6fd40e7723c2b0301e3fcdb1273692c42e590commit | diff
Bug fixed: there is an invariant that every attributed uri list must be
ordered on the uri that was not enforced for the new Reference.
helm/ocaml/mathql_interpreter/mqint.ml diff | blob | history
helm/ocaml/mathql_interpreter/pattern.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.