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

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

[helm.git] / matita / components / grafite / grafiteAstPp.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
2014-03-07	Claudio Sacerdoti...	Do not assert false for a print not implemented yet.	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-06-25	Ferruccio Guidi	- some depend files	blob \| commitdiff \| raw \| diff to current
2011-04-05	Ferruccio Guidi	we removed an extra dot from the "include" syntax	blob \| commitdiff \| raw \| diff to current
2011-01-11	Claudio Sacerdoti...	HUGE COMMIT:	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-29	Andrea Asperti	- grammar of // changed to move the justification inside;	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