]> matita.cs.unibo.it Git - helm.git/commit
new intermediate language complete_rg,
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 20 Nov 2014 16:02:51 +0000 (16:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 20 Nov 2014 16:02:51 +0000 (16:02 +0000)
commit251534dbf294c645d2121df2d9ce240011fa0c91
tree64d0332a61772a3d6f79ed9ae6643b7d517fa114
parentf72311aa07e71090a24eef9e4fb97cc2e95e6b16
new intermediate language complete_rg,
more similar to what lambdadelta version 4 should be
13 files changed:
helm/software/helena/.depend.opt
helm/software/helena/src/automath/autCrg.ml
helm/software/helena/src/basic_ag/bag.ml
helm/software/helena/src/basic_ag/bagCrg.ml
helm/software/helena/src/basic_rg/brgCrg.ml
helm/software/helena/src/basic_rg/brgReduction.ml
helm/software/helena/src/complete_rg/crg.ml
helm/software/helena/src/complete_rg/crgOutput.ml
helm/software/helena/src/lib/cps.ml
helm/software/helena/src/text/txtCrg.ml
helm/software/helena/src/xml/xmlCrg.ml
helm/software/helena/src/xml/xmlLibrary.ml
helm/software/helena/src/xml/xmlLibrary.mli