matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec_usernotation.xml

2009-05-25	Enrico Tassi	nasty change in the lexer/parser:	blob \| commitdiff \| raw
2009-01-27	Enrico Tassi	maction, mpadded and mstyle added to documentation	blob \| commitdiff \| raw \| diff to current
2008-07-17	Claudio Sacerdoti...	Bugs fixed:	blob \| commitdiff \| raw \| diff to current
2008-07-11	Claudio Sacerdoti...	Added new ternary layout \infrule premises conclusion...	blob \| commitdiff \| raw \| diff to current
2008-06-20	Enrico Tassi	left -> right	blob \| commitdiff \| raw \| diff to current
2008-06-20	Claudio Sacerdoti...	Fixed bugs in the documentation of notation.	blob \| commitdiff \| raw \| diff to current
2008-06-20	Claudio Sacerdoti...	More documentation for notation.	blob \| commitdiff \| raw \| diff to current
2008-06-20	Claudio Sacerdoti...	Further documentation for notation.	blob \| commitdiff \| raw \| diff to current
2008-06-20	Claudio Sacerdoti...	- partial implementation of pattern for case documented	blob \| commitdiff \| raw \| diff to current
2008-06-18	Claudio Sacerdoti...	interpretation documented	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	More commands documented.	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	First skeleton of documentation for "other commands".	blob \| commitdiff \| raw \| diff to current
2006-06-07	Stefano Zacchiroli	Attempt to make our markup respect the docbook specific...	blob \| commitdiff \| raw \| diff to current
2006-05-26	Claudio Sacerdoti...	New documentation.	blob \| commitdiff \| raw \| diff to current

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