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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 18 Nov 2011 13:07:03 +0000 (13:07 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 18 Nov 2011 13:07:03 +0000 (13:07 +0000)
commit	ddc80515997a3f56085c6234d4db326141e189aa
tree	b9f9a7b9c390d931d3b3b07e736d906f22436c8b	tree \| snapshot
parent	fc7af5f9ea2cd4a876b8babc6b691136799e3c87	commit \| diff

* Almost ready for release 0.99.1.
* Syntax changed:
*H => * as H
-H1 .. HN => -H1 .. -HN
intros => ##
pattern: in ... => {...}
* Library ported to the new syntax

39 files changed:

matita/components/content/.depend.opt		diff \| blob \| history
matita/components/content_pres/.depend.opt		diff \| blob \| history
matita/components/disambiguation/.depend.opt		diff \| blob \| history
matita/components/extlib/.depend.opt		diff \| blob \| history
matita/components/getter/.depend.opt		diff \| blob \| history
matita/components/grafite/.depend.opt		diff \| blob \| history
matita/components/grafite_engine/.depend.opt		diff \| blob \| history
matita/components/grafite_parser/.depend.opt		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matita/components/library/.depend.opt		diff \| blob \| history
matita/components/logger/.depend.opt		diff \| blob \| history
matita/components/ng_cic_content/.depend.opt		diff \| blob \| history
matita/components/ng_disambiguation/.depend.opt		diff \| blob \| history
matita/components/ng_kernel/.depend.opt		diff \| blob \| history
matita/components/ng_library/.depend.opt		diff \| blob \| history
matita/components/ng_paramodulation/.depend.opt		diff \| blob \| history
matita/components/ng_refiner/.depend.opt		diff \| blob \| history
matita/components/ng_tactics/.depend.opt		diff \| blob \| history
matita/components/registry/.depend.opt		diff \| blob \| history
matita/components/syntax_extensions/.depend		diff \| blob \| history
matita/components/syntax_extensions/.depend.opt		diff \| blob \| history
matita/components/thread/.depend.opt		diff \| blob \| history
matita/components/xml/.depend.opt		diff \| blob \| history
matita/configure.ac		diff \| blob \| history
matita/matita/.depend.opt		diff \| blob \| history
matita/matita/dist/ChangeLog		diff \| blob \| history
matita/matita/lib/arithmetics/bigops.ma		diff \| blob \| history
matita/matita/lib/arithmetics/binomial.ma		diff \| blob \| history
matita/matita/lib/arithmetics/chinese_reminder.ma		diff \| blob \| history
matita/matita/lib/arithmetics/congruence.ma		diff \| blob \| history
matita/matita/lib/arithmetics/div_and_mod.ma		diff \| blob \| history
matita/matita/lib/arithmetics/exp.ma		diff \| blob \| history
matita/matita/lib/arithmetics/factorial.ma		diff \| blob \| history
matita/matita/lib/arithmetics/gcd.ma		diff \| blob \| history
matita/matita/lib/arithmetics/minimization.ma		diff \| blob \| history
matita/matita/lib/arithmetics/primes.ma		diff \| blob \| history
matita/matita/lib/basics/jmeq.ma		diff \| blob \| history
matita/matita/lib/basics/logic.ma		diff \| blob \| history
matita/matita/matitaGui.ml		diff \| blob \| history

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

RSS Atom