]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87e3427) | patch
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)
commit86cced899859b1730a4789d3ba0db71d21a37604
treebd105466dfb660ce513d9b79d24946a622599085tree | snapshot
parent87e3427435d3e120cc0292764a93a68b6daddd4acommit | diff
added option -dump to matitac for persistent macro expansion
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralTypes.ml diff | blob | history
helm/software/components/cic/cicParser.ml diff | blob | history
helm/software/components/grafite/grafiteAstPp.ml diff | blob | history
helm/software/components/grafite_parser/test_parser.ml diff | blob | history
helm/software/matita/applyTransformation.ml diff | blob | history
helm/software/matita/matitac.ml diff | blob | history
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.