]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec_gettingstarted.xml
minimization.ma
[helm.git] / helm / software / matita / help / C / sec_gettingstarted.xml
2009-01-05 Enrico Tassiadded help on virtuals and UTF-8 equivalence classes
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2006-07-11 Claudio Sacerdoti... More documentation.
2006-06-14 Stefano Zacchirolicenter figures in HTML version of the manual using CSS
2006-06-14 Enrico Tassirelocation of developments.png
2006-06-10 Stefano Zacchiroliconsistent naming of the calculus
2006-06-08 Stefano Zacchirolithe Matita manual is now convertible to a decent .tex...
2006-06-08 Enrico Tassidevelopments added
2006-06-07 Stefano ZacchiroliAttempt to make our markup respect the docbook specific...
2006-06-05 Claudio Sacerdoti... Record syntax is now described.
2006-05-26 Claudio Sacerdoti... Documentation fixed.
2006-05-26 Claudio Sacerdoti... New documentation.
2006-05-25 Claudio Sacerdoti... More documentation.