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 18:23:25 +0000 (18:23 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 6 Aug 2010 18:23:25 +0000 (18:23 +0000)
commit	39b42ed90bc74c8b6293842f1ac4aca60fc0c37e
tree	1f763c4ae8f712e891a9647792334ceb3fea1b3f	tree \| snapshot
parent	bb2a0b22a2c38b59ca664b550f34e5e40e6f04c7	commit \| diff

we renamed the module abbreviations according to src/modules.ml
ld.dtd: now is more strict
Makefiles: some refactoring
crg: bug fix in name/indexes translation
xmlLibrary: bug fix in the rendering of the "name" attribute: ^ is
forbidden in a NMTOKEN
brgOutput: new xml exportation via xmlCrg

43 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/Makefile.common		diff \| blob \| history
helm/software/lambda-delta/src/automath/aut.ml		diff \| blob \| history
helm/software/lambda-delta/src/automath/autLexer.mll		diff \| blob \| history
helm/software/lambda-delta/src/automath/autOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/automath/autParser.mly		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bag.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagEnvironment.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagReduction.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagType.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_ag/bagUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brg.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgCrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgEnvironment.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgType.ml		diff \| blob \| history
helm/software/lambda-delta/src/basic_rg/brgUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/src/common/alpha.ml		diff \| blob \| history
helm/software/lambda-delta/src/common/entity.ml		diff \| blob \| history
helm/software/lambda-delta/src/common/hierarchy.ml		diff \| blob \| history
helm/software/lambda-delta/src/common/marks.ml		diff \| blob \| history
helm/software/lambda-delta/src/common/output.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crg.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crgAut.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/complete_rg/crgTxt.ml		diff \| blob \| history
helm/software/lambda-delta/src/modules.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/txt.ml		diff \| blob \| history
helm/software/lambda-delta/src/text/txtLexer.mll		diff \| blob \| history
helm/software/lambda-delta/src/text/txtParser.mly		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/meta.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/metaAut.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/metaBag.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/metaBrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/metaLibrary.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/metaOutput.ml		diff \| blob \| history
helm/software/lambda-delta/src/toplevel/top.ml		diff \| blob \| history
helm/software/lambda-delta/src/xml/xmlCrg.ml		diff \| blob \| history
helm/software/lambda-delta/src/xml/xmlLibrary.ml		diff \| blob \| history
helm/software/lambda-delta/xml/ld.dtd		diff \| blob \| history

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

RSS Atom