aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-ltac.tex
AgeCommit message (Expand)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2004-01-05MAJ pour compilation coq-tex correcteherbelin
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
2003-12-30modif generales claudecoq
2003-12-23*** empty log message ***barras
2003-12-19*** empty log message ***barras
2003-12-18*** empty log message ***barras
2003-12-17doc de ltac faitebarras
2003-12-15doc du traducteur + premiere mise a jour du refmanbarras
2003-12-01idtac parlenarboux
2003-09-26passage V8filliatr
2003-01-22Changement s�mantique Match termherbelin
2003-01-20Utilisation de 'Recursive' pour les tactiques r�cursivesherbelin
2003-01-19MAJ Ltacherbelin
2001-12-18problemes avec le rendu html des tabbing dans la doc de Ltacbarras
2001-10-02Orthographeherbelin
2001-04-25Mise-a-jour de la bibliodelahaye
2001-04-08Revision Tauto, AutoRewrite + Ajout de Ltacdelahaye
2001-04-06mise a jour V7filliatr
2001-04-05ajout chapitre langage de tactiques; suppression chapitre obsoletesfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 02:51:23 +0000