aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-pre.tex
Commit message (Expand)AuthorAge
* Cleaned doc/common/title.tex file. Increased the space under headersGravatar emakarov2007-04-12
* Eliminated warning messages from Hevea. Most warning messages wereGravatar emakarov2007-04-10
* MAJ crédits, fresh; documentation apply inGravatar herbelin2006-10-26
* MAJGravatar herbelin2006-08-28
* Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...Gravatar herbelin2006-07-07
* updated documentation for my tactics (P. orbineauGravatar corbinea2006-06-22
* Nouvelle MAJGravatar herbelin2006-06-09
* MAJ 8.1-APPGravatar herbelin2006-04-13
* MAJ 8.1-APPGravatar herbelin2006-04-13
* Modification des propriétés des fichiers .tex (svn:executable)Gravatar notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty2006-02-24
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 05:12:22 +0000