]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92515dd) | patch
patches for the new interface of text_of_query/text_of result
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 3 Feb 2003 17:32:56 +0000 (17:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 3 Feb 2003 17:32:56 +0000 (17:32 +0000)
commita3ef256812f0397a871fe8e69c125dfd89e62dce
tree452379484baf6888faf699540260c653ebd6ed8btree | snapshot
parent92515ddd2fc43f07f4dbb22c6bc98399ef1a2dd7commit | diff
patches for the new interface of text_of_query/text_of result
helm/gTopLevel/disambiguate.ml diff | blob | history
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/mQueryGenerator.ml diff | blob | history
helm/gTopLevel/topLevel/.depend diff | blob | history
helm/gTopLevel/topLevel/Makefile diff | blob | history
helm/gTopLevel/topLevel/topLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.