aboutsummaryrefslogtreecommitdiff
path: root/doc/syntax-v8.tex
AgeCommit message (Expand)Author
2006-03-06Deplacement du répertoire doc dans devnotin
2004-03-02Tactic Notation et with-namesherbelin
2004-02-18- fixed the Assert_failure error in kernel/modopsbarras
2004-01-29Suppression de 'Print.' en v8herbelin
2004-01-09bugs avec Pose et Assertbarras
2003-12-24*** empty log message ***barras
2003-12-24*** empty log message ***barras
2003-12-24MAJ Notationherbelin
2003-12-23*** empty log message ***barras
2003-12-15modif existentielle (exists | --> exists ,) + bug d'affichage des pt fixesbarras
2003-12-04MAJ 'abstract'herbelin
2003-11-27Reparation bug compilmohring
2003-11-25modif lexer: ident peut commencer par _barras
2003-11-23MAJsherbelin
2003-11-13moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc...barras
2003-11-13factorisation et generalisation des clausesbarras
2003-11-12petits changements de syntaxebarras
2003-11-09'as' avant 'using' dans 'destruct'herbelin
2003-11-05Oubliherbelin
2003-11-05MAJherbelin
2003-11-05MAJherbelin
2003-11-04*** empty log message ***barras
2003-10-22nouvelles priorites + Hintsbarras
2003-10-21*** empty log message ***barras
2003-10-20*** empty log message ***barras
2003-10-16nouvelle syntaxe de ltacbarras
2003-10-16*** empty log message ***barras
2003-10-11mise a jour nouvelle syntaxebarras
2003-10-03*** empty log message ***barras
2003-09-26About, Infixherbelin
2003-09-22MAJherbelin
2003-09-12Ajout nouvelles commandesherbelin
2003-09-06MAJherbelin
2003-09-02Relachement conflit 'with' dans le cas des Module with Definitionherbelin
2003-08-31Syntaxe des constructeurs et des hypothesesherbelin
2003-08-11MAJherbelin
2003-06-06Added new syntax definitionbarras
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 22:51:33 +0000