]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73fc7a4) | patch
proofcheckerURL param added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Oct 2002 09:13:53 +0000 (09:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Oct 2002 09:13:53 +0000 (09:13 +0000)
commitd854b2d426931d6d85cdee656f4b2572021b4ae0
tree3b2361d89d50023714c49dafd4373b5196cbfa2btree | snapshot
parent73fc7a48b8abb4f68708a079630d3232f6abb584commit | diff
proofcheckerURL param added
helm/style/links_library.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.