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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 6 Aug 2010 10:52:43 +0000 (10:52 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 6 Aug 2010 10:52:43 +0000 (10:52 +0000)
commit	f12f1b61a608140a65990d36045d978575b2dcb0
tree	1aa8a9eda90049892631a32aa86106b06157ce76	tree \| snapshot
parent	2b1375e4b44e2ef351a6341a5bb0a4823e8daae5	commit \| diff

refactoring: helena sources are now in a dedicated directory

181 files changed:

helm/software/lambda-delta/Make	[deleted file]	blob \| history
helm/software/lambda-delta/Makefile.common		diff \| blob \| history
helm/software/lambda-delta/automath/Make	[deleted file]	blob \| history
helm/software/lambda-delta/automath/Omega.aut	[deleted file]	blob \| history
helm/software/lambda-delta/automath/aut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/automath/autLexer.mll	[deleted file]	blob \| history
helm/software/lambda-delta/automath/autOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/automath/autOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/automath/autParser.mly	[deleted file]	blob \| history
helm/software/lambda-delta/automath/autProcess.ml	[deleted file]	blob \| history
helm/software/lambda-delta/automath/autProcess.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/Make	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bag.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagEnvironment.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagEnvironment.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagReduction.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagReduction.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagSubstitution.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagSubstitution.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagType.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagType.mli	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagUntrusted.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_ag/bagUntrusted.mli	[deleted file]	blob \| history
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/brgSubstitution.ml	[deleted file]	blob \| history
helm/software/lambda-delta/basic_rg/brgSubstitution.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
helm/software/lambda-delta/common/Make	[deleted file]	blob \| history
helm/software/lambda-delta/common/alpha.ml	[deleted file]	blob \| history
helm/software/lambda-delta/common/alpha.mli	[deleted file]	blob \| history
helm/software/lambda-delta/common/entity.ml	[deleted file]	blob \| history
helm/software/lambda-delta/common/hierarchy.ml	[deleted file]	blob \| history
helm/software/lambda-delta/common/hierarchy.mli	[deleted file]	blob \| history
helm/software/lambda-delta/common/library.ml	[deleted file]	blob \| history
helm/software/lambda-delta/common/library.mli	[deleted file]	blob \| history
helm/software/lambda-delta/common/marks.ml	[deleted file]	blob \| history
helm/software/lambda-delta/common/options.ml	[deleted file]	blob \| history
helm/software/lambda-delta/common/output.ml	[deleted file]	blob \| history
helm/software/lambda-delta/common/output.mli	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/Make	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgAut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgAut.mli	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgBrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgBrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgTxt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgTxt.mli	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgXml.ml	[deleted file]	blob \| history
helm/software/lambda-delta/complete_rg/crgXml.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/Omega.aut	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/aut.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/autLexer.mll	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/autOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/autOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/autParser.mly	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/autProcess.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/automath/autProcess.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bag.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagEnvironment.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagEnvironment.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagReduction.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagReduction.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagSubstitution.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagSubstitution.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagType.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagType.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagUntrusted.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_ag/bagUntrusted.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgEnvironment.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgEnvironment.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgReduction.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgReduction.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgSubstitution.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgSubstitution.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgType.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgType.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgUntrusted.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/basic_rg/brgUntrusted.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/alpha.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/alpha.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/entity.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/hierarchy.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/hierarchy.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/library.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/library.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/marks.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/options.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/output.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/common/output.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgAut.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgAut.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgBrg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgBrg.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgTxt.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgTxt.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgXml.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/complete_rg/crgXml.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/lib/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/lib/cps.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/lib/log.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/lib/log.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/lib/nUri.ml	[new symlink]	blob
helm/software/lambda-delta/components/lib/nUri.mli	[new symlink]	blob
helm/software/lambda-delta/components/lib/share.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/lib/time.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/text/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/text/prova.hln	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/text/txt.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/text/txtLexer.mll	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/text/txtParser.mly	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/text/txtTxt.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/text/txtTxt.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/meta.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaAut.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaAut.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaBag.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaBag.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaBrg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaBrg.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaLibrary.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaLibrary.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/metaOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/components/toplevel/top.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/lib/Make	[deleted file]	blob \| history
helm/software/lambda-delta/lib/cps.ml	[deleted file]	blob \| history
helm/software/lambda-delta/lib/log.ml	[deleted file]	blob \| history
helm/software/lambda-delta/lib/log.mli	[deleted file]	blob \| history
helm/software/lambda-delta/lib/nUri.ml	[deleted symlink]	blob \| history
helm/software/lambda-delta/lib/nUri.mli	[deleted symlink]	blob \| history
helm/software/lambda-delta/lib/share.ml	[deleted file]	blob \| history
helm/software/lambda-delta/lib/time.ml	[deleted file]	blob \| history
helm/software/lambda-delta/text/Make	[deleted file]	blob \| history
helm/software/lambda-delta/text/prova.hln	[deleted file]	blob \| history
helm/software/lambda-delta/text/txt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/text/txtLexer.mll	[deleted file]	blob \| history
helm/software/lambda-delta/text/txtParser.mly	[deleted file]	blob \| history
helm/software/lambda-delta/text/txtTxt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/text/txtTxt.mli	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/Make	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/meta.ml	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaAut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaAut.mli	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaBag.ml	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaBag.mli	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaBrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaBrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaLibrary.ml	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaLibrary.mli	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/metaOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/toplevel/top.ml	[deleted file]	blob \| history

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

RSS Atom