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

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

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

2010-01-11	Claudio Sacerdoti...	Finished	blob \| commitdiff \| raw
2010-01-08	Claudio Sacerdoti...	Improved	blob \| commitdiff \| raw \| diff to current
2010-01-08	Claudio Sacerdoti...	Partial porting to new syntax.	blob \| commitdiff \| raw \| diff to current
2009-11-16	Wilmer Ricciotti	Implementation of ndestruct tactic (including destructi...	blob \| commitdiff \| raw \| diff to current
2009-10-06	Wilmer Ricciotti	Syntax highlighting for 'ninverter' keyword	blob \| commitdiff \| raw \| diff to current
2009-09-23	Enrico Tassi	new macro screenshot	blob \| commitdiff \| raw \| diff to current
2009-09-21	Enrico Tassi	new tactics by CSC	blob \| commitdiff \| raw \| diff to current
2009-09-11	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-11	Enrico Tassi	new syntax	blob \| commitdiff \| raw \| diff to current
2009-06-11	Ferruccio Guidi	- some depend files fixed	blob \| commitdiff \| raw \| diff to current
2009-06-05	Ferruccio Guidi	- Procedural convertible rewrites in the conclusion...	blob \| commitdiff \| raw \| diff to current
2009-04-22	Wilmer Ricciotti	syntax colouring for inverters	blob \| commitdiff \| raw \| diff to current
2009-01-13	Enrico Tassi	many changes regarding coercions:	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	natural deduction palette	blob \| commitdiff \| raw \| diff to current
2008-10-17	Enrico Tassi	new command eval added	blob \| commitdiff \| raw \| diff to current
2008-07-02	Ferruccio Guidi	svn:ignore set on LambdaDelta-2	blob \| commitdiff \| raw \| diff to current
2008-06-26	Enrico Tassi	more work on q	blob \| commitdiff \| raw \| diff to current
2008-05-30	Enrico Tassi	added CProp	blob \| commitdiff \| raw \| diff to current
2007-11-16	Enrico Tassi	nocomposites	blob \| commitdiff \| raw \| diff to current
2007-11-08	Ferruccio Guidi	- subst tactic keyword removed from highlight syntax...	blob \| commitdiff \| raw \| diff to current
2007-06-01	Enrico Tassi	new compose tactic, still undocumented.	blob \| commitdiff \| raw \| diff to current
2007-04-20	Claudio Sacerdoti...	added skip, removed end	blob \| commitdiff \| raw \| diff to current
2007-04-17	Ferruccio Guidi	"end" keyword added	blob \| commitdiff \| raw \| diff to current
2007-01-22	Ferruccio Guidi	some patches	blob \| commitdiff \| raw \| diff to current
2006-12-29	Ferruccio Guidi	- tactics:	blob \| commitdiff \| raw \| diff to current
2006-12-20	Claudio Sacerdoti...	New tactic cases (still to be documented).	blob \| commitdiff \| raw \| diff to current
2006-12-12	Ferruccio Guidi	we parametrized CicNotationPt.obj on 'term	blob \| commitdiff \| raw \| diff to current
2006-11-30	Claudio Sacerdoti...	New syntax and semantics for the rewriting steps that...	blob \| commitdiff \| raw \| diff to current
2006-10-03	Claudio Sacerdoti...	Inline command implemented.	blob \| commitdiff \| raw \| diff to current
2006-09-25	Claudio Sacerdoti...	injection_tac and discriminate_tac now replaced by...	blob \| commitdiff \| raw \| diff to current
2006-09-04	Enrico Tassi	removed non XML comment line	blob \| commitdiff \| raw \| diff to current
2006-08-31	Ferruccio Guidi	- semantics of tactic subst allmost fixed	blob \| commitdiff \| raw \| diff to current
2006-08-29	Ferruccio Guidi	- new tactic subst removes simple non recursive equalit...	blob \| commitdiff \| raw \| diff to current
2006-07-27	maiorino	"that is equivalent to" and "or equivalently" implement...	blob \| commitdiff \| raw \| diff to current
2006-07-27	maiorino	Declarative tactics for rewriting steps, elimination...	blob \| commitdiff \| raw \| diff to current
2006-07-27	maiorino	New declarative commands (ast, pretty-printing and...	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	GrafiteAst.Quit (unused) removed.	blob \| commitdiff \| raw \| diff to current
2006-06-29	Ferruccio Guidi	"linear" keyword inserted (used by lapply)	blob \| commitdiff \| raw \| diff to current
2006-06-19	Ferruccio Guidi	hack to allow (**)	blob \| commitdiff \| raw \| diff to current
2006-05-26	Claudio Sacerdoti...	Syntax highlighting for focus/unfocus	blob \| commitdiff \| raw \| diff to current
2006-05-25	Claudio Sacerdoti...	Axioms are not allowed with the syntax: "axiom name...	blob \| commitdiff \| raw \| diff to current
2006-04-13	Enrico Tassi	added keyword include'	blob \| commitdiff \| raw \| diff to current
2006-02-08	Claudio Sacerdoti...	Never implemented tactics compare and decide equality...	blob \| commitdiff \| raw \| diff to current
2006-02-06	Claudio Sacerdoti...	first sketch of the documentation (to be used by yelp)	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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

RSS Atom