]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fdc0e2) | patch
added low level rendering attributes (indent, spacing, ...)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 07:52:47 +0000 (07:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 07:52:47 +0000 (07:52 +0000)
commitcfad3344c731dc1fa682fa6e01dec53573c5de1d
treebee2a1724bd0fc109907bcdf62d505824948ed12tree | snapshot
parent2fdc0e2718552c0d300b38a6f677873f02ee2217commit | diff
added low level rendering attributes (indent, spacing, ...)
helm/ocaml/cic_notation/renderingAttrs.ml diff | blob | history
helm/ocaml/cic_notation/renderingAttrs.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.