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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 1 Nov 2010 15:18:57 +0000 (15:18 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 1 Nov 2010 15:18:57 +0000 (15:18 +0000)
commit	d145ea48ed0bdb9642ced01283231f3f13d476b8
tree	184e041772cafdd78b0db60db8faf5c7573bf84f	tree \| snapshot
parent	e7f64fe2cc67f3514131c8831f87311ff600d005	commit \| diff

- some bugfix
- some
- old intermediate language (meta) has been removed

29 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/Makefile		diff \| blob \| history
helm/software/lambda-delta/src/Make		diff \| blob \| history
helm/software/lambda-delta/src/automath/Make		diff \| blob \| history
helm/software/lambda-delta/src/automath/autCrg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/autCrg.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagCrg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagCrg.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/Make		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crgAut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/complete_rg/crgAut.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/complete_rg/crgTxt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/complete_rg/crgTxt.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/modules.ml		diff \| blob \| history
helm/software/lambda-delta/src/text/Make		diff \| blob \| history
helm/software/lambda-delta/src/text/txtCrg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/txtCrg.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/Make		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/meta.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/metaAut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/metaAut.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/metaBag.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/metaBag.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/metaBrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/metaBrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/metaOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/metaOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/top.ml		diff \| blob \| history

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

RSS Atom