]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e5d232) | patch
@uri attribute added to tacticinstance. A "Tactic details" hyperlink is
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Apr 2003 17:04:01 +0000 (17:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Apr 2003 17:04:01 +0000 (17:04 +0000)
commite9db2c226034b75e69dba72b6bd577a7bcf6a31f
tree5153342be912975732637bd3221fb1ca5ad0feectree | snapshot
parent4e5d2321c182e908cd5e522605fcd6be237a1c0acommit | diff
@uri attribute added to tacticinstance. A "Tactic details" hyperlink is
now automatically generated starting from it.
helm/nuprl_stylesheets/nuprl_content_to_html2.xsl diff | blob | history
helm/nuprl_stylesheets/nuprl_proof.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.