aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Traducteur de correctnessGravatar herbelin2003-08-14
* code mortGravatar herbelin2003-08-14
* Traduction mlnamesGravatar herbelin2003-08-14
* Pb de mot-cleGravatar herbelin2003-08-14
* Amélioration affichage syntaxe modulesGravatar herbelin2003-08-14
* Positionnement precoce de l'option -v7Gravatar herbelin2003-08-14
* Ajout token '!' pour correctnessGravatar herbelin2003-08-14
* Enregistrement tuple_constrGravatar herbelin2003-08-14
* Notation access au dessous du niveau applicatif (2eme)Gravatar herbelin2003-08-14
* Hack pour ajouter Proof apres CorrectnessGravatar herbelin2003-08-13
* Notation access au dessous du niveau applicatifGravatar herbelin2003-08-13
* Bug et améliorations diversesGravatar herbelin2003-08-12
* Bug et amliorations diversesGravatar herbelin2003-08-12
* Bug détypage du fixGravatar herbelin2003-08-12
* majGravatar filliatr2003-08-12
* Ajout LetTupleGravatar herbelin2003-08-11
* Mémo nouvelle syntaxeGravatar herbelin2003-08-11
* MAJGravatar herbelin2003-08-11
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* Option -v8 à coqtop lance coqtopnewGravatar herbelin2003-08-11
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofsGravatar herbelin2003-08-11
* NettoyageGravatar herbelin2003-08-11
* Outils de traductionGravatar herbelin2003-08-11
* Ajout option_fold_rightGravatar herbelin2003-08-10
* Affichage {}+{}, niveau paire au plus hautGravatar herbelin2003-08-10
* Un peu d'aide pour le traducteurGravatar herbelin2003-08-10
* Ajout de l'opti des fermeture (mais debranche pour l'instant)Gravatar barras2003-08-06
* Improved reduction machine with closure: should use less memoryGravatar barras2003-08-05
* Bug globalisation Grammar (suite)Gravatar herbelin2003-07-24
* majGravatar filliatr2003-07-24
* Bug globalisationGravatar herbelin2003-07-23
* coqide: new search and AutoCompletionGravatar monate2003-07-18
* Coq.Init.Logic.eq au lieu de eqGravatar filliatr2003-07-18
* majGravatar filliatr2003-07-17
* coqide: fixed problems with -R -I and coqide interactionGravatar monate2003-07-16
* majGravatar filliatr2003-07-12
* Ground bugfixGravatar corbinea2003-07-11
* bug typage du cases/identity: optim off si inductif avec varsGravatar letouzey2003-07-10
* renommage des modules 1er niveau en monolithiqueGravatar letouzey2003-07-10
* coqide: warn when using locale or manual charsetGravatar monate2003-07-10
* MAJ adresse ftpGravatar herbelin2003-07-09
* majGravatar filliatr2003-07-09
* Petite erreur dans le script d'install.Gravatar corbinea2003-07-08
* Ground updateGravatar corbinea2003-07-08
* bug match matchGravatar letouzey2003-07-08
* recursion bien fondee sur des pairsGravatar filliatr2003-07-08
* Coqide : focus bug in goal windowGravatar monate2003-07-07
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* Ground bugfixGravatar corbinea2003-07-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-21 20:06:24 +0000