aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-09-02Export process_module_bindings pour traducteurherbelin
2003-09-02auto completion disabled par defautmarche
2003-09-02Bug traduction Search, SearchPattern, etc.herbelin
2003-09-02Plus de passage du scope tmp sous les lambdasherbelin
2003-09-01Passage de 'relation' à Typeherbelin
2003-09-01majfilliatr
2003-08-31Syntaxe des constructeurs et des hypothesesherbelin
2003-08-31Bug et améliorations diversherbelin
2003-08-31'Assumptions' sur le modèle général des lieursherbelin
2003-08-31Symetrisation des changements implicites de scopeherbelin
2003-08-31Mise en oeuvre de la syntaxe des inductifs a la ML 'Inductive nat : Set := O ...herbelin
2003-08-31Affichage des inductifs en v8herbelin
2003-08-31V8: FUNCLASS -> Funclass, SORTCLASS -> Sortclassherbelin
2003-08-28correction d'un stack overflow possible (PR#320)letouzey
2003-08-15majfilliatr
2003-08-14Fusion -translate et -ftranslateherbelin
2003-08-14Traducteur de correctnessherbelin
2003-08-14code mortherbelin
2003-08-14Traduction mlnamesherbelin
2003-08-14Pb de mot-cleherbelin
2003-08-14Amélioration affichage syntaxe modulesherbelin
2003-08-14Positionnement precoce de l'option -v7herbelin
2003-08-14Ajout token '!' pour correctnessherbelin
2003-08-14Enregistrement tuple_constrherbelin
2003-08-14Notation access au dessous du niveau applicatif (2eme)herbelin
2003-08-13Hack pour ajouter Proof apres Correctnessherbelin
2003-08-13Notation access au dessous du niveau applicatifherbelin
2003-08-12Bug et améliorations diversesherbelin
2003-08-12Bug et amliorations diversesherbelin
2003-08-12Bug détypage du fixherbelin
2003-08-12majfilliatr
2003-08-11Ajout LetTupleherbelin
2003-08-11Mémo nouvelle syntaxeherbelin
2003-08-11MAJherbelin
2003-08-11Nouvelle mouture du traducteur v7->v8herbelin
2003-08-11Option -v8 à coqtop lance coqtopnewherbelin
2003-08-11Nouvelle mouture du traducteur v7->v8herbelin
2003-08-11Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofsherbelin
2003-08-11Nettoyageherbelin
2003-08-11Outils de traductionherbelin
2003-08-10Ajout option_fold_rightherbelin
2003-08-10Affichage {}+{}, niveau paire au plus hautherbelin
2003-08-10Un peu d'aide pour le traducteurherbelin
2003-08-06Ajout de l'opti des fermeture (mais debranche pour l'instant)barras
2003-08-05Improved reduction machine with closure: should use less memorybarras
2003-07-24Bug globalisation Grammar (suite)herbelin
2003-07-24majfilliatr
2003-07-23Bug globalisationherbelin
2003-07-18coqide: new search and AutoCompletionmonate
2003-07-18Coq.Init.Logic.eq au lieu de eqfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 03:59:47 +0000