]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c784fcb) | patch
added support for enabling/disabling (pretty printing) notation
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 18 Nov 2005 16:51:47 +0000 (16:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 18 Nov 2005 16:51:47 +0000 (16:51 +0000)
commitf28ada124237ae2f481c8ed625de80dab5f55dbf
tree7f9e599f37b6edbf754c923996033cad29a20b41tree | snapshot
parentc784fcbfe47beaa2c399cb71b3d2b84dedc4fb76commit | diff
added support for enabling/disabling (pretty printing) notation
helm/ocaml/cic_notation/cicNotation.ml diff | blob | history
helm/ocaml/cic_notation/cicNotation.mli diff | blob | history
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationRew.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.