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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 14 Dec 2008 15:32:38 +0000 (15:32 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 14 Dec 2008 15:32:38 +0000 (15:32 +0000)
commit	c87a73806365feadc23300194a42ab8edb0f8b1b
tree	bc8873ad7c3135a25af876f414048f539bf21109	tree \| snapshot
parent	f23388dbd51574725a11b0ab5373f09838a32ab5	commit \| diff

we are changing the kernel version from basic_rg to basic_ag

24 files changed:

helm/software/lambda-delta/basic_ag/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgEnvironment.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgEnvironment.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgReduction.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgReduction.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgType.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgType.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgUntrusted.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_ag/brgUntrusted.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_rg/Make	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgEnvironment.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgEnvironment.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgType.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgType.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.mli	[deleted file]	blob \| history

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

RSS Atom