]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 206f96a) | patch
better boxes (with more line breaking hints) for objects rendering
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 07:55:05 +0000 (07:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 07:55:05 +0000 (07:55 +0000)
commitc0e81c0055dc03a8798c45b6c41673bc3ee69d5d
treec1f2e62a22bb6cc5be70bba220f8c7673a4e3d52tree | snapshot
parent206f96afb7097c20b3cc8bd144825467b4fde7aecommit | diff
better boxes (with more line breaking hints) for objects rendering
helm/ocaml/cic_transformations/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.