]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ac4623) | patch
Hint repaired (an erroneous commit by myself).
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2005 09:13:34 +0000 (09:13 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2005 09:13:34 +0000 (09:13 +0000)
commit72232ba3f75b569d20c8c1af9907740a47c860da
treef299d0e75d7f5f302f97e173d6ba83015ef5c954tree | snapshot
parent0ac46239fb249d740a074a2624c963faa5a70201commit | diff
Hint repaired (an erroneous commit by myself).
helm/ocaml/tactics/metadataQuery.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.