]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7433c53) | patch
added rule to generate camlp4 expansion of cicNotationParser.ml (in order
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 May 2005 15:23:38 +0000 (15:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 May 2005 15:23:38 +0000 (15:23 +0000)
commita6dd077a2b3e4d0c4395c2ee4cc2e1b6d10ab963
treee75e1636aca45409ff018a2729dcbfa843d30209tree | snapshot
parent7433c53083f5e6f28ce02c7ad53d26f064f31a5ccommit | diff
added rule to generate camlp4 expansion of cicNotationParser.ml (in order
to reverse engineer Grammar.extend usage ...)
helm/ocaml/cic_notation/Makefile diff | blob | history
helm/ocaml/cic_notation/cicNotationParser.expanded.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.