matita.cs.unibo.it Git - helm.git/history - matita/matita/matita.lang

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

[helm.git] / matita / matita / matita.lang

2019-09-27	Andrea Berlingieri	Add last declarative tactics, modify rewriting tactics	blob \| commitdiff \| raw
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
2018-03-02	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2016-04-18	Ferruccio Guidi	As required by M. Maietti,	blob \| commitdiff \| raw \| diff to current
2016-03-13	Ferruccio Guidi	- new syntax for let rec/corec with flavor specifier...	blob \| commitdiff \| raw \| diff to current
2015-09-05	Ferruccio Guidi	- New attribute `Implied put beside `Generated and...	blob \| commitdiff \| raw \| diff to current
2014-10-19	Ferruccio Guidi	- grafiteParser: we added the comand "defined" as a...	blob \| commitdiff \| raw \| diff to current
2013-08-09	Ferruccio Guidi	- the example is now minimal so the bug is understood.	blob \| commitdiff \| raw \| diff to current
2013-08-09	Ferruccio Guidi	- the example is smaller and really self-contained ...	blob \| commitdiff \| raw \| diff to current
2013-02-28	Ferruccio Guidi	- lambdadelta: first recursive part of preservation...	blob \| commitdiff \| raw \| diff to current
2011-10-18	Wilmer Ricciotti	Changes in "destruct" tactic (allowing performance...	blob \| commitdiff \| raw \| diff to current
2010-12-10	Andrea Asperti	Notation for - (clear).	blob \| commitdiff \| raw \| diff to current
2010-10-29	Claudio Sacerdoti...	Porting to new syntax.	blob \| commitdiff \| raw \| diff to current
2010-10-29	Claudio Sacerdoti...	Porting to new syntax.	blob \| commitdiff \| raw \| diff to current
2010-10-22	Enrico Tassi	tentative parser patch with symbolic tactics names	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