aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/RefMan-pre.tex
AgeCommit message (Expand)Author
2008-10-27- Fixed many "Theorem with" bugs.herbelin
2008-06-09- Documentation de admit et Print Assumptions.herbelin
2008-05-28Notation concise pour la valeur par défaut des cas reconnus commeherbelin
2008-05-19MAJ créditsherbelin
2007-04-12Cleaned doc/common/title.tex file. Increased the space under headersemakarov
2007-04-10Eliminated warning messages from Hevea. Most warning messages wereemakarov
2006-10-26MAJ crédits, fresh; documentation apply inherbelin
2006-08-28MAJherbelin
2006-07-07Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...herbelin
2006-06-22updated documentation for my tactics (P. orbineaucorbinea
2006-06-09Nouvelle MAJherbelin
2006-04-13MAJ 8.1-APPherbelin
2006-04-13MAJ 8.1-APPherbelin
2006-02-24Modification des propriétés des fichiers .tex (svn:executable)notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 14:37:10 +0000