]> matita.cs.unibo.it Git - helm.git/commit
Synchronization with the main branch: proofcheckerURL param added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 9 Oct 2002 10:52:47 +0000 (10:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 9 Oct 2002 10:52:47 +0000 (10:52 +0000)
commite745ee261977e7ff754fbd8eb563797bae20393b
tree49e5e9b2eb69401a436a1748f87340d6b7bdda76
parentd59f9b0745bd3e2da8a5fbcd87158f0b5544c6e1
Synchronization with the main branch: proofcheckerURL param added
helm/style/links_library.xsl