aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/RefMan-pre.tex
AgeCommit message (Expand)Author
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-26 21:08:40 +0000