aboutsummaryrefslogtreecommitdiffhomepage
path: root/translate/ppvernacnew.ml
Commit message (Expand)AuthorAge
* Hint Destruct mal afficheGravatar barras2003-11-27
* Traduction de tactic:constrarg en constr:constr pour les arguments de Tactic ...Gravatar herbelin2003-11-26
* Traduction Print ProofGravatar herbelin2003-11-25
* Bug affichage Hint ExternGravatar herbelin2003-11-17
* Ajout Print Implicit avec depliage du typeGravatar herbelin2003-11-15
* moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc...Gravatar barras2003-11-13
* Traduction Print GrammarGravatar herbelin2003-11-13
* Mise en place systeme de renommage des noms de variables liees dans la biblio...Gravatar herbelin2003-11-12
* Idtac peut prendre un argument à afficherGravatar narboux2003-11-12
* petits changements de syntaxeGravatar barras2003-11-12
* Suppression SearchNamed finalement redondant avec SearchAboutGravatar herbelin2003-11-10
* Modules obsoletes de ZArith en v8Gravatar herbelin2003-11-05
* Pour eviter des anomalies au lieu d'erreur en mode traducteurGravatar herbelin2003-11-04
* Ajout de Print VisibilityGravatar herbelin2003-10-28
* Independance de grammar.cmo vis a vis de Search; reorganisation VernacDefinitionGravatar herbelin2003-10-23
* Deplacement du pr_reference du traducteur dans Ppconstrnew; integration de Se...Gravatar herbelin2003-10-22
* reorganisation des niveaux (ex: = est a 70)Gravatar barras2003-10-22
* Changement 'as notation' en 'where notation'; protection 'nat_scope'; afficha...Gravatar herbelin2003-10-14
* Ajout d'une fonction de recherche sur les composantes du nom des objetsGravatar herbelin2003-10-13
* mise a jour nouvelle syntaxeGravatar barras2003-10-11
* changement nouvelle syntaxe (pt fixes)Gravatar barras2003-10-10
* Renommage en v8 de PolyList en List et List en MonoListGravatar herbelin2003-10-10
* Mise en place d'un couple 'Conjecture/Admitted' pour déclarer un énoncé in...Gravatar herbelin2003-10-08
* Essai de traduction du contraire de 'tacledit bin/coqtop.byte' en 'tac...'Gravatar herbelin2003-10-07
* Debranchement de l'affichage automatique de Proof par le traducteur (trop com...Gravatar herbelin2003-10-07
* Pas de renommage des noms de sectionGravatar herbelin2003-10-02
* Implantation de l'option 'format' des NotationsGravatar herbelin2003-10-01
* Ajout 'Close Scope'.Gravatar herbelin2003-09-30
* Ajout 'About'Gravatar herbelin2003-09-26
* Utilisation de noms dans 'Implicit Arguments [...]'Gravatar herbelin2003-09-23
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
* Système de renommage des noms de tactiques LtacGravatar herbelin2003-09-22
* Renommages divers.Gravatar herbelin2003-09-21
* parsingGravatar herbelin2003-09-19
* Pour appliquer les noms reserves aussi aux bindersGravatar herbelin2003-09-16
* Ajout 'Print Scopes' et 'Bind Scope with classes'; Mise en place affichage sp...Gravatar herbelin2003-09-12
* Oubli des guillemets dans CommentsGravatar herbelin2003-09-10
* Traduction des réferences arguments de commandes non primitives; 'Grammar ta...Gravatar herbelin2003-09-09
* Mise en place possibilité de définitions locales dans les paramètres des r...Gravatar herbelin2003-09-06
* Mise en place possibilité de définitions locales dans les paramètres des i...Gravatar herbelin2003-09-06
* Mise en place possibilité de définitions locales dans les paramètres des i...Gravatar herbelin2003-09-06
* Passage de lconstr à constr pour les arguments immédiat de commandesGravatar herbelin2003-09-06
* Contorsions pour que l'interpretation deses foncteurs depende des parametres ...Gravatar herbelin2003-09-02
* Bug traduction Search, SearchPattern, etc.Gravatar herbelin2003-09-02
* Bug et améliorations diversGravatar herbelin2003-08-31
* Amélioration affichage syntaxe modulesGravatar herbelin2003-08-14
* Hack pour ajouter Proof apres CorrectnessGravatar herbelin2003-08-13
* Bug et amliorations diversesGravatar herbelin2003-08-12
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* Ajout systématique de Proof dans la traductionGravatar herbelin2003-06-23