aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-oth.tex
AgeCommit message (Expand)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2004-04-26Ajout Set Printing Depth et Set Printing Widthherbelin
2004-01-29Suppression de 'Print.' en v8herbelin
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
2003-12-30modif generales claudecoq
2003-12-28Ajout ref Aboutherbelin
2003-12-22MAJ Reset Initialherbelin
2003-12-12typomarche
2003-12-11Mis-a-jour modules, ajout de Import et Exportcoq
2003-12-02relecture JCFfilliatr
2003-11-23Suppression commandes de syntaxe; ajout Aboutherbelin
2003-09-25passage V8filliatr
2003-08-04Orthographe, orthodoxieherbelin
2003-06-25typofilliatr
2003-01-06doc SearchAboutfilliatr
2001-12-17new command Backbarras
2001-10-17MAJ V7.1herbelin
2001-09-25MAJ Opaque/Transparent, Qed/Definedherbelin
2001-09-25Orthographeherbelin
2001-09-24Mise en place avertissements pour rep�rer les erreurs volontaires de coq-texherbelin
2001-09-21Diverses MAJ V7.1 autour des qualidherbelin
2001-04-09Mise a jour V7courant
2001-04-09Mise a jour du chapitre librarymohring
2001-04-06mise a jour V7filliatr
2001-04-03mise a jour V7 de la commande Extraction, et des options de coqtop et coqcfilliatr
2000-12-18MAJ Searchherbelin
2000-12-16Ajout SearchPattern, SearchRewrite, MAJ Searchherbelin
2000-12-12Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 19:02:43 +0000