aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-03-10Remove a TODO in the translation of generic arguments:bertot
2003-03-07coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...monate
2003-03-07Petites modifs de mes super-Makefiles ;)coq
2003-03-07majfilliatr
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
2003-03-06coqide: le undomonate
2003-03-06Make sure that identifiers are parsed as qualified identifier and thatbertot
2003-03-06majfilliatr
2003-03-05coqide: ouvrir une seule fois un fichiermonate
2003-03-05IDE: menu templatesfilliatr
2003-03-05CoqIde: Install.ide Revert bugfix.monate
2003-03-05majfilliatr
2003-03-04coqide: bugfixmonate
2003-03-04install de coq.pngmarche
2003-03-04belle image de coq (en png en plus)marche
2003-03-04coqide: partage -debug avec coqtopmonate
2003-03-04tous les fichiers passes a Coq IDEfilliatr
2003-03-04IDE: majmonate
2003-03-04Bug délimiteur de scope en vieil affichage astherbelin
2003-03-04MAJherbelin
2003-03-04majfilliatr
2003-03-03CoqIDE: copy/pastemonate
2003-03-03fichiers sur la ligne de commande passes a Coq IDEfilliatr
2003-03-03Retour vieil afficheurherbelin
2003-03-03IDE:colorationfilliatr
2003-03-03IDE: debug=falsefilliatr
2003-03-03coqide: preferences support and optimizationsmonate
2003-03-01Added some tests to make more robust the tactique "Functionalcourtieu
2003-02-28fixing a typo in the new Funinv.v test in test-suite/successcourtieu
2003-02-28Recuperation des outputs de l'interpretation des commandes vernac et des erre...desmettr
2003-02-28majfilliatr
2003-02-27coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...monate
2003-02-27Interpretation des entiers dans les reels via les scopesdesmettr
2003-02-27MAJherbelin
2003-02-27Nouvelle syntaxe style 'Inductive color : Set := black, blue, white : color'...herbelin
2003-02-27Correction test token normalherbelin
2003-02-271.342 par rapport a 1.340 contourne un bug '-pp camlp4o' (version 1.341 corro...herbelin
2003-02-27Contournement bug '-pp camlp4o'herbelin
2003-02-27Le lexeur et Notation savent reconnaître si un unicode des blocsherbelin
2003-02-27Adding tests for the "functional induction" facility.bertot
2003-02-27The contribution of Pierre Courtieu on generating specialized induction schemesbertot
2003-02-27Retour nouvel afficheurherbelin
2003-02-27Restructuration des hints pour qu'Auto fasse moins de détours et lesherbelin
2003-02-27majfilliatr
2003-02-26Changed Tauto so it displays less 'Unfold not iff'corbinea
2003-02-26coqide: preliminary support for mnemonics. Edit menu. Context help now works ...monate
2003-02-26majfilliatr
2003-02-25ide:copy/paste fixmonate
2003-02-25Suppression des warnings a la compilation de contrib/linearcorbinea
2003-02-25majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 22:56:33 +0000