]> matita.cs.unibo.it Git - helm.git/commit
some renaming. final commit for version 0.8.0
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 15 Sep 2009 10:23:45 +0000 (10:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 15 Sep 2009 10:23:45 +0000 (10:23 +0000)
commitf3cddcf163b36101158ea33b3fad368ac8c62d75
tree3f75ac15ab6522e62a9d693fe112ffc5a4245673
parentb266ed97b63400d62ab4ba6a4ebdfbc1d5b0c2bb
some renaming. final commit for version 0.8.0
33 files changed:
helm/software/lambda-delta/.depend.opt
helm/software/lambda-delta/automath/Omega.aut
helm/software/lambda-delta/automath/aut.ml
helm/software/lambda-delta/automath/autOutput.ml
helm/software/lambda-delta/automath/autOutput.mli
helm/software/lambda-delta/automath/autParser.mly
helm/software/lambda-delta/automath/autProcess.ml
helm/software/lambda-delta/automath/autProcess.mli
helm/software/lambda-delta/basic_ag/bag.ml
helm/software/lambda-delta/basic_ag/bagOutput.ml
helm/software/lambda-delta/basic_ag/bagOutput.mli
helm/software/lambda-delta/basic_ag/bagUntrusted.mli
helm/software/lambda-delta/basic_rg/brg.ml
helm/software/lambda-delta/basic_rg/brgOutput.ml
helm/software/lambda-delta/basic_rg/brgOutput.mli
helm/software/lambda-delta/basic_rg/brgUntrusted.mli
helm/software/lambda-delta/common/Make
helm/software/lambda-delta/common/entity.ml [new file with mode: 0644]
helm/software/lambda-delta/common/library.ml
helm/software/lambda-delta/common/library.mli
helm/software/lambda-delta/common/unit.ml [deleted file]
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/metaLibrary.ml
helm/software/lambda-delta/toplevel/metaLibrary.mli
helm/software/lambda-delta/toplevel/metaOutput.ml
helm/software/lambda-delta/toplevel/metaOutput.mli
helm/software/lambda-delta/toplevel/top.ml