]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2c29f8) | patch
Preliminary support for proof-tree enhanced: proof-trees are now shown
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Sep 2003 12:06:54 +0000 (12:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Sep 2003 12:06:54 +0000 (12:06 +0000)
commit8aba11dde6f56f81329943a3f4dbff0ee9366552
tree1a5e33b79761f938316a06b555ffc3d35bcd4323tree | snapshot
parentb2c29f8bef99b45f71bc0c5ee656304094d16113commit | diff
Preliminary support for proof-tree enhanced: proof-trees are now shown
as views over .con files.
helm/on-line/xslt/ls2html.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.