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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 6 Dec 2014 19:17:17 +0000 (19:17 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 6 Dec 2014 19:17:17 +0000 (19:17 +0000)
commit	04ffe68396b98bbf21bcd403ffba03b94eaebadc
tree	8fabfe2705c374118919f30c76593bd71ece7075	tree \| snapshot
parent	f66ae73597b06a5bf8b0ef82d5253bf0e5aba7fc	commit \| diff

- helena: the improved attribute system allows to export the sorts of Pi's
Pi's of sort Prop are rendered as Forall's in the generated Matita script
- we updated the dtd accordingly

21 files changed:

helm/software/helena/matita/grundlagen_2.ma		diff \| blob \| history
helm/software/helena/matita/grundlagen_2_0.ma		diff \| blob \| history
helm/software/helena/matita/grundlagen_2_1.ma		diff \| blob \| history
helm/software/helena/matita/grundlagen_2_2.ma		diff \| blob \| history
helm/software/helena/matita/grundlagen_2_3.ma		diff \| blob \| history
helm/software/helena/matita/grundlagen_2_4.ma		diff \| blob \| history
helm/software/helena/matita/grundlagen_2_5.ma		diff \| blob \| history
helm/software/helena/matita/grundlagen_2_6.ma		diff \| blob \| history
helm/software/helena/src/automath/autCrg.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagEnvironment.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagReduction.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgGrafite.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/helena/src/common/entity.ml		diff \| blob \| history
helm/software/helena/src/common/options.ml		diff \| blob \| history
helm/software/helena/src/complete_rg/crgOutput.ml		diff \| blob \| history
helm/software/helena/src/toplevel/top.ml		diff \| blob \| history
helm/software/helena/src/xml/xmlCrg.ml		diff \| blob \| history
helm/software/helena/src/xml/xmlLibrary.ml		diff \| blob \| history
helm/software/helena/src/xml/xmlLibrary.mli		diff \| blob \| history
helm/www/lambdadelta/xml/ld.dtd		diff \| blob \| history

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

RSS Atom