]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2b968e) | patch
ted version of mQueryGenerator (was mquery part 2)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Jun 2002 17:03:34 +0000 (17:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Jun 2002 17:03:34 +0000 (17:03 +0000)
commitec899ba2461af8c3f0ef253a8879fc1882b8b46f
tree09c4f09b5d97e2ca061c8d6f800e67ab8e259610tree | snapshot
parentb2b968e27508993b1716810c2c27ff532e284742commit | diff
ted version of mQueryGenerator (was mquery part 2)
helm/gTopLevel/mQueryGenerator.ml [new file with mode: 0644] blob
helm/gTopLevel/mQueryGenerator.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.