]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d541d1b) | patch
£- use ----------- in place of ## for sequents
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 5 Oct 2010 15:27:56 +0000 (15:27 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 5 Oct 2010 15:27:56 +0000 (15:27 +0000)
commit263103153fd8782ff95c4d075339a445a64bea1d
treea7437a1990f841e58fcdeeccb4451e6a1162816ctree | snapshot
parentd541d1b9cc3cffedf0d1903a39cd4683e1e6ef97commit | diff
£- use ----------- in place of ## for sequents
matita/components/content_pres/boxPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.