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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 17 Sep 2009 20:40:11 +0000 (20:40 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 17 Sep 2009 20:40:11 +0000 (20:40 +0000)
commit	a9f15ca61aac8089fb4b599af72533c4a432ba7b
tree	56e35daa7709b497ea3d15456bf634057810eb07	tree \| snapshot
parent	ddfe2cfb4e3210efbbda5216f0d85b78d466bd7b	commit \| diff

we start version 0.8.1 by replacing the abstract layer AST with a fragment of dual lambda-delta. To this aim we begin the dual_rg kernel

14 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/Make		diff \| blob \| history
helm/software/lambda-delta/Makefile		diff \| blob \| history
helm/software/lambda-delta/README		diff \| blob \| history
helm/software/lambda-delta/common/entity.ml		diff \| blob \| history
helm/software/lambda-delta/common/library.ml		diff \| blob \| history
helm/software/lambda-delta/common/library.mli		diff \| blob \| history
helm/software/lambda-delta/dual_rg/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/dual_rg/drg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/dual_rg/drgAut.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/dual_rg/drgAut.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/performance.txt	[deleted file]	blob \| history
helm/software/lambda-delta/rt.txt	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history

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