]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5419c5) | patch
Following an hyperlink from a proof-tree rendering now brings you to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Sep 2003 11:33:47 +0000 (11:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Sep 2003 11:33:47 +0000 (11:33 +0000)
commit3f88b5fffc17ecc8b3cb1645f9be846e740c8a3a
tree538709a3e41e2434d6ce32103cd17eedac5ba789tree | snapshot
parentf5419c538928932f114f78887e489f6b2e19764acommit | diff
Following an hyperlink from a proof-tree rendering now brings you to
the lambda-term rendering of the proof statement.
helm/on-line/javascript/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.