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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 40b85b6) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 12 Dec 2008 12:45:42 +0000 (12:45 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 12 Dec 2008 12:45:42 +0000 (12:45 +0000)
commit	41bf338d7e638ebb5d97e525055bff05b1f0f045
tree	b62b3d85893a35a114da00ded97060f12eb7b499	tree \| snapshot
parent	40b85b6717785a7b24f2bc0680e716655b8faf99	commit \| diff

- basic_rg: architectural bug fix
- toplevel: more help on command line options

14 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/basic_rg/Make		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brg.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgEnvironment.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgEnvironment.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgOutput.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgType.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgType.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.mli		diff \| blob \| history
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history

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