]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5bbc4c) | patch
Collapse_head_metas transforms all terms "not-recongnized" into a
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:43:54 +0000 (10:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:43:54 +0000 (10:43 +0000)
commit002ad23d3995439a265b9879432a30835b8d3395
tree6444a8b80a934dd0b505fa01e649b6149783f5c4tree | snapshot
parenta5bbc4c69e8e8cd537a460a5f1899fd1c87b4c30commit | diff
Collapse_head_metas transforms all terms "not-recongnized" into a
meta.
helm/software/components/tactics/universe.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.