]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c4e75d) | patch
* generate list elements in correct order
authorLuca Padovani <luca.padovani@unito.it>
Tue, 7 Jun 2005 18:24:59 +0000 (18:24 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 7 Jun 2005 18:24:59 +0000 (18:24 +0000)
commit345d5606c989f46d9de3d3b4c6c53902fabac5bd
tree0ccc76f1d099db3d8b15a265e5e79d95708a0cabtree | snapshot
parent7c4e75d43137f6bc529d1c42a298a72a3548a912commit | diff
* generate list elements in correct order
* handle list inside boxes
* handle box layout
* generate separator between elements (not after elements)
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.