]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec_install.xml
minimization.ma
[helm.git] / helm / software / matita / help / C / sec_install.xml
2009-07-07 Enrico Tassifixed some typos
2008-12-08 Enrico Tassi3.5 -> 35 to help crappy latex
2008-12-07 Enrico Tassibetter images
2008-11-28 Enrico Tassivirtualbox guide almost ok
2008-11-25 Enrico Tassimore on the livecd in the manual
2007-11-02 Enrico Tassifinisced configuration section
2007-11-02 Enrico Tassiadded doc for db and getter sections
2007-11-02 Enrico Tassiadded notes about sqlite and removed obsolete zack...
2007-10-31 Claudio Sacerdoti... New image from Tassi's PhD thesis.
2006-07-11 Claudio Sacerdoti... More TODO items in the documentation.
2006-06-12 Stefano Zacchiroli- better formatting/factorization of tables used for...
2006-06-08 Stefano Zacchirolithe Matita manual is now convertible to a decent .tex...
2006-03-21 Stefano Zacchiroliremoved mention of the "library" target, no longer...
2006-03-15 Enrico Tassimore work for the release
2006-02-09 Stefano Zacchirolicompleted installation instructions
2006-02-08 Claudio Sacerdoti... From article to book
2006-02-07 Stefano Zacchiroli"sec_" prefix for section IDs
2006-02-07 Stefano Zacchiroliadded instructions (some gaps still to be filled in...
2006-02-07 Stefano Zacchiroliwritten install section up to build requirements
2006-02-07 Stefano Zacchiroli- moved version.txt.in to the help dir