aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/base_include
Commit message (Expand)AuthorAge
* Propagating commit 11343 from branch v8.2 to trunk (wish 1934 aboutGravatar herbelin2008-09-02
* - Extension de "generalize" en "generalize c as id at occs".Gravatar herbelin2008-06-08
* - Add pretty-printers for Idpred, Cpred and transparent_state, used forGravatar msozeau2008-04-24
* Prise en compte des coercions dans les clauses "with" même si le typeGravatar herbelin2008-04-23
* Bugs, nettoyage, et améliorations diversesGravatar herbelin2008-04-13
* Ocaml toplevel convenience.Gravatar glondu2007-12-07
* - Correction bug dans syntaxe des match (liste de motifs vide était acceptée)Gravatar herbelin2007-08-22
* Export de l'afficheur de substitutions de noms de modules pour le débogueurGravatar herbelin2007-01-19
* PÃréouverture de la plupart des fichis pour éviter d'avoir à qualifierGravatar herbelin2006-05-23
* Ajout printer Idset.tGravatar herbelin2006-01-29
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)Gravatar herbelin2006-01-04
* MAJ restructuration constrintern.mlGravatar herbelin2005-12-23
* Ajout constant printerGravatar herbelin2005-02-18
* Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...Gravatar herbelin2005-01-02
* Ajout printer bigintGravatar herbelin2004-12-29
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Ajout translateGravatar herbelin2003-04-07
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* petits changements cosmetiques sur les tactiquesGravatar barras2002-02-15
* ParsingGravatar herbelin2001-08-10
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* Modification pour passage p-automatesGravatar mohring2001-05-15
* ajout d'un afficher de contexte et d'une fonction constbody_of_stringGravatar letouzey2001-05-10
* Make sure that the COQTOP variable is really used, when it is set.Gravatar bertot2001-04-03
* PrinterGravatar mohring2000-12-15
* Ajout de constr_of_stringGravatar mohring2000-12-04
* Prise en compte du renommage des fonctions de AsttermGravatar herbelin2000-04-17
* Restructuration printer et parserGravatar herbelin2000-01-07
* pretty-printers pour le debuggerGravatar filliatr1999-12-14
* renommage pour eviter pbm avec ocamldep (syntax error)Gravatar filliatr1999-12-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 06:44:36 +0000