matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 30 Oct 2010 13:00:05 +0000 (13:00 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 30 Oct 2010 13:00:05 +0000 (13:00 +0000)
commit	22fd9c98a22929f0319286c0693fcdaee43a72df
tree	7c54e876bf3a6721bc1a0fc0a43ebf86aa0c4fb1	tree \| snapshot
parent	10d33a8c1be31d0c7aeccee8968fd5218ca2510a	commit \| diff

- initial support for abstractions with explicit levels
- some minor bug fixes

30 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagReduction.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagType.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brg.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgCrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgType.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/src/common/Make		diff \| blob \| history
helm/software/lambda-delta/src/common/entity.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crg.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crgAut.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crgTxt.ml		diff \| blob \| history
helm/software/lambda-delta/src/modules.ml		diff \| blob \| history
helm/software/lambda-delta/src/text/txt.ml		diff \| blob \| history
helm/software/lambda-delta/src/text/txtLexer.mll		diff \| blob \| history
helm/software/lambda-delta/src/text/txtParser.mly		diff \| blob \| history
helm/software/lambda-delta/src/text/txtTxt.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/metaAut.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/metaBrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/metaOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/top.ml		diff \| blob \| history
helm/software/lambda-delta/src/xml/xmlCrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/xml/xmlLibrary.ml		diff \| blob \| history
helm/software/lambda-delta/src/xml/xmlLibrary.mli		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom