]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b9c9ea) | patch
* The new query language (now broken) works only on the new DB
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Nov 2002 10:59:12 +0000 (10:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Nov 2002 10:59:12 +0000 (10:59 +0000)
commita0454e23c4afdcda8e5ef3e4f639852f4eac9c21
treeb670b0823bf3049999c114cf1d4946157db663actree | snapshot
parent8b9c9eae1f9da8908ede64b37f04bb7d9e476f7acommit | diff
* The new query language (now broken) works only on the new DB
   helm_mowgli_new_schema.
* InConclusion, InHypothesis and so on are now inserted in the DB with their
  namespace.
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/mQueryGenerator.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.