]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec_usernotation.xml
minimization.ma
[helm.git] / helm / software / matita / help / C / sec_usernotation.xml
2009-05-25 Enrico Tassinasty change in the lexer/parser:
2009-01-27 Enrico Tassimaction, mpadded and mstyle added to documentation
2008-07-17 Claudio Sacerdoti... Bugs fixed:
2008-07-11 Claudio Sacerdoti... Added new ternary layout \infrule premises conclusion...
2008-06-20 Enrico Tassileft -> right
2008-06-20 Claudio Sacerdoti... Fixed bugs in the documentation of notation.
2008-06-20 Claudio Sacerdoti... More documentation for notation.
2008-06-20 Claudio Sacerdoti... Further documentation for notation.
2008-06-20 Claudio Sacerdoti... - partial implementation of pattern for case documented
2008-06-18 Claudio Sacerdoti... interpretation documented
2006-07-12 Claudio Sacerdoti... More commands documented.
2006-07-12 Claudio Sacerdoti... First skeleton of documentation for "other commands".
2006-06-07 Stefano ZacchiroliAttempt to make our markup respect the docbook specific...
2006-05-26 Claudio Sacerdoti... New documentation.