]> matita.cs.unibo.it Git - helm.git/commit
added option -dump to matitac for persistent macro expansion
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Feb 2007 17:27:31 +0000 (17:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Feb 2007 17:27:31 +0000 (17:27 +0000)
commitb49a7265f5da01f89b5c845f52b31c2f728cc293
tree89716fd1f6313f21c1e84a56e88692c4c21bed88
parentc17c9e41a88339260e15a5206878f85558666fbb
added option -dump to matitac for persistent macro expansion
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralTypes.ml
components/cic/cicParser.ml
components/grafite/grafiteAstPp.ml
components/grafite_parser/test_parser.ml
matita/applyTransformation.ml
matita/matitac.ml
matita/matitacLib.ml