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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 11 Sep 2011 11:20:49 +0000 (11:20 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 11 Sep 2011 11:20:49 +0000 (11:20 +0000)
commit	95872555aaa040a22ad2d93cb1278f79e20da70c
tree	d39acc4fa2c5eaf5007759051956ec8ef40feab4	tree \| snapshot
parent	4025c3f5b36025380dcad84bb7a97045d08652f6	commit \| diff

refactoring ...

232 files changed:

helm/software/helena/.depend.opt	[new file with mode: 0644]	blob
helm/software/helena/Make	[new file with mode: 0644]	blob
helm/software/helena/MakeVersion	[new file with mode: 0644]	blob
helm/software/helena/Makefile	[new file with mode: 0644]	blob
helm/software/helena/Makefile.common	[new file with mode: 0644]	blob
helm/software/helena/README	[new file with mode: 0644]	blob
helm/software/helena/examples/exp_math/L.hln	[new file with mode: 0644]	blob
helm/software/helena/examples/exp_math/Make	[new file with mode: 0644]	blob
helm/software/helena/examples/exp_math/Makefile	[new file with mode: 0644]	blob
helm/software/helena/examples/exp_math/T0.hln	[new file with mode: 0644]	blob
helm/software/helena/examples/exp_math/preamble.hln	[new file with mode: 0644]	blob
helm/software/helena/examples/grundlagen/grundlagen.aut	[new file with mode: 0644]	blob
helm/software/helena/icons/b3.png	[new file with mode: 0644]	blob
helm/software/helena/icons/b4.png	[new file with mode: 0644]	blob
helm/software/helena/icons/b5.png	[new file with mode: 0644]	blob
helm/software/helena/icons/b9.png	[new file with mode: 0644]	blob
helm/software/helena/icons/basic-32.png	[new file with mode: 0644]	blob
helm/software/helena/icons/crux-16.ico	[new file with mode: 0644]	blob
helm/software/helena/icons/crux-32.png	[new file with mode: 0644]	blob
helm/software/helena/icons/helena-32.png	[new file with mode: 0644]	blob
helm/software/helena/icons/helena-label.png	[new file with mode: 0644]	blob
helm/software/helena/icons/rainbow.png	[new file with mode: 0644]	blob
helm/software/helena/src/Make	[new file with mode: 0644]	blob
helm/software/helena/src/automath/Make	[new file with mode: 0644]	blob
helm/software/helena/src/automath/Omega.aut	[new file with mode: 0644]	blob
helm/software/helena/src/automath/aut.ml	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autCrg.ml	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autCrg.mli	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autLexer.mll	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autOutput.ml	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autOutput.mli	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autParser.mly	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autProcess.ml	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autProcess.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/Make	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bag.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagCrg.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagCrg.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagEnvironment.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagEnvironment.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagOutput.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagOutput.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagReduction.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagReduction.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagSubstitution.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagSubstitution.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagType.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagType.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagUntrusted.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_ag/bagUntrusted.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/Make	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brg.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgCrg.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgCrg.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgEnvironment.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgEnvironment.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgOutput.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgOutput.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgReduction.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgReduction.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgSubstitution.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgSubstitution.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgType.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgType.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgUntrusted.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgUntrusted.mli	[new file with mode: 0644]	blob
helm/software/helena/src/common/Make	[new file with mode: 0644]	blob
helm/software/helena/src/common/alpha.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/alpha.mli	[new file with mode: 0644]	blob
helm/software/helena/src/common/ccs.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/ccs.mli	[new file with mode: 0644]	blob
helm/software/helena/src/common/entity.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/hierarchy.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/hierarchy.mli	[new file with mode: 0644]	blob
helm/software/helena/src/common/level.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/level.mli	[new file with mode: 0644]	blob
helm/software/helena/src/common/marks.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/marks.mli	[new file with mode: 0644]	blob
helm/software/helena/src/common/options.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/output.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/output.mli	[new file with mode: 0644]	blob
helm/software/helena/src/common/status.ml	[new file with mode: 0644]	blob
helm/software/helena/src/complete_rg/Make	[new file with mode: 0644]	blob
helm/software/helena/src/complete_rg/crg.ml	[new file with mode: 0644]	blob
helm/software/helena/src/complete_rg/crgOutput.ml	[new file with mode: 0644]	blob
helm/software/helena/src/complete_rg/crgOutput.mli	[new file with mode: 0644]	blob
helm/software/helena/src/lib/Make	[new file with mode: 0644]	blob
helm/software/helena/src/lib/cps.ml	[new file with mode: 0644]	blob
helm/software/helena/src/lib/log.ml	[new file with mode: 0644]	blob
helm/software/helena/src/lib/log.mli	[new file with mode: 0644]	blob
helm/software/helena/src/lib/share.ml	[new file with mode: 0644]	blob
helm/software/helena/src/lib/time.ml	[new file with mode: 0644]	blob
helm/software/helena/src/modules.ml	[new file with mode: 0644]	blob
helm/software/helena/src/text/Make	[new file with mode: 0644]	blob
helm/software/helena/src/text/prova.hln	[new file with mode: 0644]	blob
helm/software/helena/src/text/txt.ml	[new file with mode: 0644]	blob
helm/software/helena/src/text/txtCrg.ml	[new file with mode: 0644]	blob
helm/software/helena/src/text/txtCrg.mli	[new file with mode: 0644]	blob
helm/software/helena/src/text/txtLexer.mll	[new file with mode: 0644]	blob
helm/software/helena/src/text/txtParser.mly	[new file with mode: 0644]	blob
helm/software/helena/src/text/txtTxt.ml	[new file with mode: 0644]	blob
helm/software/helena/src/text/txtTxt.mli	[new file with mode: 0644]	blob
helm/software/helena/src/toplevel/Make	[new file with mode: 0644]	blob
helm/software/helena/src/toplevel/top.ml	[new file with mode: 0644]	blob
helm/software/helena/src/xml/Make	[new file with mode: 0644]	blob
helm/software/helena/src/xml/xmlCrg.ml	[new file with mode: 0644]	blob
helm/software/helena/src/xml/xmlCrg.mli	[new file with mode: 0644]	blob
helm/software/helena/src/xml/xmlLibrary.ml	[new file with mode: 0644]	blob
helm/software/helena/src/xml/xmlLibrary.mli	[new file with mode: 0644]	blob
helm/software/helena/xml/ld-html-entity.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/ld-html-library.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/ld-html-root.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/ld-html-term.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/ld-html.css	[new file with mode: 0644]	blob
helm/software/helena/xml/ld-html.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/ld.dtd	[new file with mode: 0644]	blob
helm/software/lambda-delta/.depend.opt	[deleted file]	blob \| history
helm/software/lambda-delta/Make	[deleted file]	blob \| history
helm/software/lambda-delta/MakeVersion	[deleted file]	blob \| history
helm/software/lambda-delta/Makefile	[deleted file]	blob \| history
helm/software/lambda-delta/Makefile.common	[deleted file]	blob \| history
helm/software/lambda-delta/README	[deleted file]	blob \| history
helm/software/lambda-delta/examples/exp_math/L.hln	[deleted file]	blob \| history
helm/software/lambda-delta/examples/exp_math/Make	[deleted file]	blob \| history
helm/software/lambda-delta/examples/exp_math/Makefile	[deleted file]	blob \| history
helm/software/lambda-delta/examples/exp_math/T0.hln	[deleted file]	blob \| history
helm/software/lambda-delta/examples/exp_math/preamble.hln	[deleted file]	blob \| history
helm/software/lambda-delta/examples/grundlagen/grundlagen.aut	[deleted file]	blob \| history
helm/software/lambda-delta/icons/b3.png	[deleted file]	blob \| history
helm/software/lambda-delta/icons/b4.png	[deleted file]	blob \| history
helm/software/lambda-delta/icons/b5.png	[deleted file]	blob \| history
helm/software/lambda-delta/icons/b9.png	[deleted file]	blob \| history
helm/software/lambda-delta/icons/basic-32.png	[deleted file]	blob \| history
helm/software/lambda-delta/icons/crux-16.ico	[deleted file]	blob \| history
helm/software/lambda-delta/icons/crux-32.png	[deleted file]	blob \| history
helm/software/lambda-delta/icons/helena-32.png	[deleted file]	blob \| history
helm/software/lambda-delta/icons/helena-label.png	[deleted file]	blob \| history
helm/software/lambda-delta/icons/rainbow.png	[deleted file]	blob \| history
helm/software/lambda-delta/src/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/Omega.aut	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/aut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/autCrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/autCrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/autLexer.mll	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/autOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/autOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/autParser.mly	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/autProcess.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/automath/autProcess.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bag.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagCrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagCrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagEnvironment.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagEnvironment.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagReduction.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagReduction.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagSubstitution.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagType.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagType.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagUntrusted.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_ag/bagUntrusted.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgCrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgCrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgEnvironment.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgEnvironment.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgReduction.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgReduction.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgSubstitution.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgType.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgType.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgUntrusted.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/basic_rg/brgUntrusted.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/alpha.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/alpha.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/ccs.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/ccs.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/entity.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/hierarchy.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/hierarchy.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/level.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/level.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/marks.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/marks.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/options.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/output.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/output.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/common/status.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/complete_rg/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/complete_rg/crg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/complete_rg/crgOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/complete_rg/crgOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/lib/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/lib/cps.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/lib/log.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/lib/log.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/lib/share.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/lib/time.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/modules.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/prova.hln	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/txt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/txtCrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/txtCrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/txtLexer.mll	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/txtParser.mly	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/txtTxt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/text/txtTxt.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/toplevel/top.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/xml/Make	[deleted file]	blob \| history
helm/software/lambda-delta/src/xml/xmlCrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/xml/xmlCrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/src/xml/xmlLibrary.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/xml/xmlLibrary.mli	[deleted file]	blob \| history
helm/software/lambda-delta/xml/ld-html-entity.xsl	[deleted file]	blob \| history
helm/software/lambda-delta/xml/ld-html-library.xsl	[deleted file]	blob \| history
helm/software/lambda-delta/xml/ld-html-root.xsl	[deleted file]	blob \| history
helm/software/lambda-delta/xml/ld-html-term.xsl	[deleted file]	blob \| history
helm/software/lambda-delta/xml/ld-html.css	[deleted file]	blob \| history
helm/software/lambda-delta/xml/ld-html.xsl	[deleted file]	blob \| history
helm/software/lambda-delta/xml/ld.dtd	[deleted file]	blob \| history

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

RSS Atom