]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2551cc) | patch
fixed "let .. in" rendering, adding the break between the "in" and what follows
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Sep 2005 14:11:16 +0000 (14:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Sep 2005 14:11:16 +0000 (14:11 +0000)
commitc2d62f24fdcfad145abceafa418593dfcfb4b546
treef82835ad09fc8b7eb47106726d1d4a8b4138bc13tree | snapshot
parentf2551cc0cc563b34b88a70a6bb0ef5e352a5d542commit | diff
fixed "let .. in" rendering, adding the break between the "in" and what follows
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.