]> matita.cs.unibo.it Git - helm.git/commit
- common/entity: new format for kernel entities
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 5 Oct 2009 16:05:53 +0000 (16:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 5 Oct 2009 16:05:53 +0000 (16:05 +0000)
commitcd798346d31b14b8947e5801b87dc4f363607862
treea9aa753044a174581bbe7e2ec7644192c77098c3
parent40ecc6da8b481b45d6bf0e1cfd2c285e98ed8e35
- common/entity: new format for kernel entities
- common/library: new CPS infrastructure for XML exportation
- toplevel/meta: now uses common/entity
- dual_rg/drg: some fixes
- dual_rg/drgOutput: XML exportation started (alpha-conversion is missing)
40 files changed:
helm/software/lambda-delta/.depend.opt
helm/software/lambda-delta/Makefile
helm/software/lambda-delta/Makefile.common
helm/software/lambda-delta/basic_ag/bag.ml
helm/software/lambda-delta/basic_ag/bagEnvironment.ml
helm/software/lambda-delta/basic_ag/bagEnvironment.mli
helm/software/lambda-delta/basic_ag/bagOutput.ml
helm/software/lambda-delta/basic_ag/bagReduction.ml
helm/software/lambda-delta/basic_ag/bagType.ml
helm/software/lambda-delta/basic_ag/bagUntrusted.ml
helm/software/lambda-delta/basic_ag/bagUntrusted.mli
helm/software/lambda-delta/basic_rg/brg.ml
helm/software/lambda-delta/basic_rg/brgEnvironment.ml
helm/software/lambda-delta/basic_rg/brgEnvironment.mli
helm/software/lambda-delta/basic_rg/brgOutput.ml
helm/software/lambda-delta/basic_rg/brgOutput.mli
helm/software/lambda-delta/basic_rg/brgReduction.ml
helm/software/lambda-delta/basic_rg/brgType.ml
helm/software/lambda-delta/basic_rg/brgUntrusted.ml
helm/software/lambda-delta/basic_rg/brgUntrusted.mli
helm/software/lambda-delta/common/entity.ml
helm/software/lambda-delta/common/library.ml
helm/software/lambda-delta/common/library.mli
helm/software/lambda-delta/dual_rg/Make
helm/software/lambda-delta/dual_rg/drg.ml
helm/software/lambda-delta/dual_rg/drgAut.ml
helm/software/lambda-delta/dual_rg/drgAut.mli
helm/software/lambda-delta/dual_rg/drgOutput.ml [new file with mode: 0644]
helm/software/lambda-delta/dual_rg/drgOutput.mli [new file with mode: 0644]
helm/software/lambda-delta/lib/log.ml
helm/software/lambda-delta/lib/log.mli
helm/software/lambda-delta/toplevel/meta.ml
helm/software/lambda-delta/toplevel/metaAut.ml
helm/software/lambda-delta/toplevel/metaAut.mli
helm/software/lambda-delta/toplevel/metaBag.ml
helm/software/lambda-delta/toplevel/metaBag.mli
helm/software/lambda-delta/toplevel/metaBrg.ml
helm/software/lambda-delta/toplevel/metaBrg.mli
helm/software/lambda-delta/toplevel/metaOutput.ml
helm/software/lambda-delta/toplevel/top.ml