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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 3 Nov 2010 21:02:44 +0000 (21:02 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 3 Nov 2010 21:02:44 +0000 (21:02 +0000)
commit	cee0c3ca597ebbff2250674c255ed1bc909521fb
tree	fa6965509057b2ca6c141062b9853e260565d9db	tree \| snapshot
parent	30bbfa78612ca1ad0c131a75d7075cfd35bebbe1	commit \| diff

last commit for helena 0.8.1

- xsl      : we can render the levels of the abstractions
- ccs      : we output three kinds of constraints
- Makefiles: we automatized the relising process
- brgCrg   : all abstractions have infinite level for now

14 files changed:

helm/software/lambda-delta/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/MakeVersion	[new file with mode: 0644]	blob
helm/software/lambda-delta/Makefile		diff \| blob \| history
helm/software/lambda-delta/Makefile.common		diff \| blob \| history
helm/software/lambda-delta/README		diff \| blob \| history
helm/software/lambda-delta/src/automath/autCrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagCrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgCrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/src/common/ccs.ml		diff \| blob \| history
helm/software/lambda-delta/src/common/ccs.mli		diff \| blob \| history
helm/software/lambda-delta/src/xml/xmlLibrary.ml		diff \| blob \| history
helm/software/lambda-delta/xml/ld-html-library.xsl		diff \| blob \| history
helm/software/lambda-delta/xml/ld.dtd		diff \| blob \| history

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

RSS Atom