]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afa25e7) | patch
Fixed box pretty printing.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 24 May 2011 16:40:35 +0000 (16:40 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 24 May 2011 16:40:35 +0000 (16:40 +0000)
commitaf74d6bb205ee227a100d8218ed6e66f5e78eccc
tree9400a9c695bb3fb78577ae9248ff9c1701053bc1tree | snapshot
parentafa25e79733be21321ac11e558c0291725cbd95acommit | diff
Fixed box pretty printing.
matitaB/components/content_pres/boxPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.