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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 16 Aug 2009 21:13:06 +0000 (21:13 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 16 Aug 2009 21:13:06 +0000 (21:13 +0000)
commit	de66af7241ad8ab71d5857d14570e4662f2488dc
tree	e68832928f6e0d9017810500d9fe2561517f26c1	tree \| snapshot
parent	f983656c56d37a50536e50a319114dbfa592c9a0	commit \| diff

- performance data added for reference
- interface of the Hierarchy module improved
- library for managining abstract layer representation files added
- toplevel improved: the analysis of the automath source is now optional

16 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/Makefile		diff \| blob \| history
helm/software/lambda-delta/Makefile.common		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagOutput.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/common/hierarchy.ml		diff \| blob \| history
helm/software/lambda-delta/common/hierarchy.mli		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/lib/cps.ml		diff \| blob \| history
helm/software/lambda-delta/performance.txt	[new file with mode: 0644]	blob
helm/software/lambda-delta/toplevel/Make		diff \| blob \| history
helm/software/lambda-delta/toplevel/metaLibrary.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/toplevel/metaLibrary.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history

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

RSS Atom