]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33cef65) | patch
want_indent bug fixed
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 10:34:09 +0000 (10:34 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 10:34:09 +0000 (10:34 +0000)
commitcb0c0fe95610321224311a64aef214775d36e7e4
treec7ebd4b043edc0bafdf3c13018318aeb21d7e8f5tree | snapshot
parent33cef65313289250ea37c782c65306f7c967cd04commit | diff
want_indent bug fixed
matitaB/components/content_pres/boxPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.