aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing
Commit message (Expand)AuthorAge
* Suppression de code mortGravatar notin2007-02-01
* Abbreviation of order notation.Gravatar msozeau2007-02-01
* redirection of errors in coqide + dynamic warning printer (needed for tm_egg)Gravatar corbinea2007-01-31
* Fix order of wf and measure arguments, patch Program doc.Gravatar msozeau2007-01-31
* "suffices" implemented + syntax cleanupGravatar corbinea2007-01-28
* decl mode: anonymous factsGravatar corbinea2007-01-25
* Correction du bug #1315:Gravatar notin2007-01-22
* changes in declarative language : by term using tacticGravatar corbinea2007-01-22
* Petit oubli dans commit 9474Gravatar herbelin2007-01-11
* Merge from Lionel Elie Mamane's private branch:Gravatar lmamane2007-01-10
* Nouvelle approche pour le discharge modulaireGravatar herbelin2007-01-10
* Addition of a "Combined Scheme" vernacular command for building the conjuncti...Gravatar msozeau2006-12-23
* nouvelle indentation des scriptsGravatar barras2006-12-12
* Changement dans le kernel : Gravatar bgregoir2006-12-11
* Suite ajout option -output-contextGravatar herbelin2006-12-08
* Ajout d'une option -output-context qui affiche le contexte en CCI pur à laGravatar herbelin2006-12-08
* Remplacement de la dépendance de G_vernac en G_constr (sourceGravatar herbelin2006-12-03
* Correction boucle du parseur en cas de caractÃère non unicodeGravatar herbelin2006-11-20
* Suppression du type 'tac dans les abstract_argument_type: devenu inutile Gravatar herbelin2006-11-20
* The emacs-U option now does not output *any* char above 250.Gravatar courtieu2006-11-17
* Fichiers obsolètesGravatar herbelin2006-11-11
* gestion speciale du niveau 5 des ltacGravatar barras2006-11-02
* syntaxe du let in encoreGravatar barras2006-10-31
* assouplissement de la syntaxe du let de ltac: t1 ; let in autoriseGravatar barras2006-10-31
* fixed field_simplify + changed precedence of let and fun in ltacGravatar barras2006-10-30
* Exports manquants dans ringGravatar barras2006-10-29
* Compatibilité du polymorphisme de constantes avec les sections.Gravatar herbelin2006-10-29
* Extension du polymorphisme de sorte au cas des définitions dans Type.Gravatar herbelin2006-10-28
* Documentation de "Set Printing Universes", "Print Universes" (anciennementGravatar herbelin2006-10-28
* Ajout option Set Printing Universes et amélioration affichage des universGravatar herbelin2006-10-28
* Extension de la primitive ltac fresh pour qu'elle accepte une liste deGravatar herbelin2006-10-24
* Hack peu élégant pour permettre de parser des listes avec séparateurs dans Gravatar herbelin2006-10-24
* coqide: affichage des sous-buts et hypothèses et métas comme types deGravatar herbelin2006-10-19
* affichage des ... dans les scriptsGravatar barras2006-10-16
* Notations:Gravatar herbelin2006-10-09
* le parsing du LETIN ne suivait pas la DTD (bug #1237)Gravatar herbelin2006-10-03
* Suppression des lignes vides dans l'affichage des scriptsGravatar notin2006-09-28
* mise a jour du nouveau ring et ajout du nouveau field, avant renommagesGravatar barras2006-09-26
* Déplacement surround dans util.ml et parenthésage des déclarationsGravatar herbelin2006-09-23
* Declarative Proof Language: main commitGravatar corbinea2006-09-20
* Compatibilité hyp=var dans Tactic Notation + nettoyageGravatar herbelin2006-09-15
* Ajout possibilité clause "where" dans co-points fixes Gravatar herbelin2006-09-01
* making otags working Gravatar jforest2006-08-22
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* Correction incohérence parsing de %delim dans les motifsGravatar herbelin2006-07-12
* Utilisation du mot-clé lazymatch pour le match paresseux (à défaut d'avoir...Gravatar herbelin2006-07-11
* Branchement de 'Debug On/Off' sur le mécanisme standard d'option et donc, re...Gravatar herbelin2006-07-05
* Branchement de 'Debug On/Off' sur le mécanisme standard d'option et donc, re...Gravatar herbelin2006-07-05
* Nettoyage code mortGravatar herbelin2006-07-05
* Correction typo + ajout Arabic SupplementGravatar herbelin2006-07-05