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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 1 Sep 2009 09:51:00 +0000 (09:51 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 1 Sep 2009 09:51:00 +0000 (09:51 +0000)
commit	cca5f6b7431b846b7bdcbf813632cb79580d5874
tree	29c0681fb9a5f06137e6d872e863b58c9b47e534	tree \| snapshot
parent	544a9aee8a26a4d7c613ef8a02f045c53d55f998	commit \| diff

basic_rg: bugfix in AST to allow attributes in global entries
xml: the exported XML data now comply a DTD
icons: crux icon for the browser's address line
Makefile: "lint" entry added for XML validation

15 files changed:

helm/software/lambda-delta/Makefile		diff \| blob \| history
helm/software/lambda-delta/automath/omega.aut		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brg.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgSubstitution.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgType.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/common/library.ml		diff \| blob \| history
helm/software/lambda-delta/icons/crux-16.ico	[new file with mode: 0644]	blob
helm/software/lambda-delta/performance.txt		diff \| blob \| history
helm/software/lambda-delta/toplevel/metaAut.ml		diff \| blob \| history
helm/software/lambda-delta/toplevel/metaBrg.ml		diff \| blob \| history
helm/software/lambda-delta/xml/ld.dtd	[new file with mode: 0644]	blob

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

RSS Atom