matita.cs.unibo.it Git - helm.git/history - matita/components/grafite/grafiteAst.ml

]> matita.cs.unibo.it Git - helm.git/history - matita/components/grafite/grafiteAst.ml

[helm.git] / matita / components / grafite / grafiteAst.ml

2019-09-27	Andrea Berlingieri	Many changes	blob \| commitdiff \| raw
2019-09-27	Andrea Berlingieri	Add last declarative tactics, modify rewriting tactics	blob \| commitdiff \| raw \| diff to current
2019-09-27	Andrea Berlingieri	Changes to declarative tactics, implementation of equal...	blob \| commitdiff \| raw \| diff to current
2019-09-27	Andrea Berlingieri	Many changes	blob \| commitdiff \| raw \| diff to current
2019-09-27	Andrea Berlingieri	Add drafts for some tactics	blob \| commitdiff \| raw \| diff to current
2019-09-27	Andrea Berlingieri	Partially restore the suppose tactic	blob \| commitdiff \| raw \| diff to current
2019-09-27	Andrea Berlingieri	Partially restore the assume tactic	blob \| commitdiff \| raw \| diff to current
2016-04-18	Ferruccio Guidi	As required by M. Maietti,	blob \| commitdiff \| raw \| diff to current
2011-12-12	Enrico Tassi	support -axiom to avoind indexing an axiom (since there...	blob \| commitdiff \| raw \| diff to current
2011-11-18	Enrico Tassi	short notation for "coercion"	blob \| commitdiff \| raw \| diff to current
2011-10-20	Andrea Asperti	QED takes a boolean parameter governing indexing.	blob \| commitdiff \| raw \| diff to current
2011-05-26	Claudio Sacerdoti...	Added "nocomposites" to coercions.	blob \| commitdiff \| raw \| diff to current
2011-04-04	Ferruccio Guidi	we introduced nterm for NotationPt.term	blob \| commitdiff \| raw \| diff to current
2010-12-10	Andrea Asperti	Big change:	blob \| commitdiff \| raw \| diff to current
2010-12-10	Andrea Asperti	New syntax -H1 .. Hn for clear	blob \| commitdiff \| raw \| diff to current
2010-11-04	Andrea Asperti	- Print/Set commands removed	blob \| commitdiff \| raw \| diff to current
2010-11-03	Andrea Asperti	- LexiconAst merged into GrafiteAst	blob \| commitdiff \| raw \| diff to current
2010-11-02	Enrico Tassi	big change in parsing, trying to make all functional	blob \| commitdiff \| raw \| diff to current
2010-10-13	Andrea Asperti	Propagation of changes to grafiteAst.	blob \| commitdiff \| raw \| diff to current
2010-10-08	Andrea Asperti	Cic.term and Cic.obj unused!	blob \| commitdiff \| raw \| diff to current
2010-10-08	Andrea Asperti	cicNotation* ==> notation*	blob \| commitdiff \| raw \| diff to current
2010-10-05	Andrea Asperti	- parser: "whelp ...Â"removed	blob \| commitdiff \| raw \| diff to current
2010-09-30	Claudio Sacerdoti...	Stuff moved from old Matita.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom