]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02b4aca) | patch
Added new ternary layout \infrule premises conclusion name.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jul 2008 14:29:09 +0000 (14:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jul 2008 14:29:09 +0000 (14:29 +0000)
commitd063ddede0424eb1f47a4c9769eaefbb16d90700
tree091cbee5d0b669c93c1fc27b3d98e4520b910c4ctree | snapshot
parent02b4aca8654dd4b0c16cab14bf145bbc1ae963f8commit | diff
Added new ternary layout \infrule premises conclusion name.
Very useful to render proof terms as trees.
helm/software/components/acic_content/cicNotationPp.ml diff | blob | history
helm/software/components/acic_content/cicNotationPt.ml diff | blob | history
helm/software/components/acic_content/cicNotationUtil.ml diff | blob | history
helm/software/components/content_pres/cicNotationParser.ml diff | blob | history
helm/software/components/content_pres/cicNotationPres.ml diff | blob | history
helm/software/matita/help/C/sec_usernotation.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.