]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a279dd) | patch
MQueryGenerator ported to use fun "objectName"
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Oct 2002 14:24:15 +0000 (14:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Oct 2002 14:24:15 +0000 (14:24 +0000)
commit36a85ffd9542d5a726d154cd8bf37d417da2cf88
tree6df5348c42f9bf7efddd5f08c10a8b5d078cbf03tree | snapshot
parent8a279dd3b4c7562099933bcb45e386ccc1ca156ecommit | diff
MQueryGenerator ported to use fun "objectName"
topLevel        typechecker output was removed
helm/gTopLevel/mQueryGenerator.ml diff | blob | history
helm/gTopLevel/topLevel/topLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.