]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb84a41) | patch
better output format
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 17:47:07 +0000 (17:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 17:47:07 +0000 (17:47 +0000)
commit6fedbf02acadaa79520d0418a6b737c745dda5bd
tree7387877d47afb9f8446073823d40024b8c842921tree | snapshot
parentcb84a4169928536629e0c608dbc282daa3bec0bdcommit | diff
better output format
helm/gTopLevel/testlibrary.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.