]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b71c265) | patch
New functions UriManager.uri_is_var, UriManager.uri_is_con.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jun 2005 07:40:39 +0000 (07:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jun 2005 07:40:39 +0000 (07:40 +0000)
commite2fb8962f72096d3f0bb19f40b00a3502a11e932
tree518d6b719949c2df0df38add2a7a8d60dc18ed3ctree | snapshot
parentb71c265049723824235d7cec0522880492e6a0b1commit | diff
New functions UriManager.uri_is_var, UriManager.uri_is_con.
helm/matita/matitaGui.ml diff | blob | history
helm/ocaml/cic/cicUtil.ml diff | blob | history
helm/ocaml/cic/helmLibraryObjects.ml diff | blob | history
helm/ocaml/tactics/metadataQuery.ml diff | blob | history
helm/ocaml/tactics/tacticChaser.ml diff | blob | history
helm/ocaml/urimanager/uriManager.ml diff | blob | history
helm/ocaml/urimanager/uriManager.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.