matita.cs.unibo.it Git - helm.git/commit - helm/software/lambda-delta/Makefile

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/lambda-delta/Makefile

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 29 Oct 2009 19:50:22 +0000 (19:50 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 29 Oct 2009 19:50:22 +0000 (19:50 +0000)
commit	da715664068e859d20ab81fd6969e64d58c0f57e
tree	4970ce3876f3e24b0cb86728b56b4ba993248f7d	tree \| snapshot
parent	bab9b2ec6c255ea6734867b2bd25538510181555	commit \| diff

- dual_rg: renamed to complete_rg [as suggested in the ToCL documentation]
- Makefile: "lddl" entry generates lddl.tar.bz2

18 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/complete_rg/crg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/complete_rg/crgAut.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/complete_rg/crgAut.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/complete_rg/crgBrg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/complete_rg/crgBrg.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/complete_rg/crgOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/complete_rg/crgOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/complete_rg/drg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/drgAut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/drgAut.mli	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/drgBrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/drgBrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/drgOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/drgOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history

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