aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* bug dans calcul nb d'occurrencesGravatar letouzey2003-09-05
* affichage de la nature des colonnesGravatar filliatr2003-09-05
* install coqwcGravatar filliatr2003-09-05
* coqwcGravatar filliatr2003-09-05
* Impression sans ',' des constructeurs de meme type, pour v8Gravatar herbelin2003-09-05
* Affichage des 'fun' suivis de 'let' en utilisant explicitement un 'let'Gravatar herbelin2003-09-03
* option pour supprimer les menus contextuels sur les butsGravatar marche2003-09-03
* ProjectionsGravatar herbelin2003-09-03
* *** empty log message ***Gravatar herbelin2003-09-03
* majGravatar filliatr2003-09-03
* Relachement conflit 'with' dans le cas des Module with DefinitionGravatar herbelin2003-09-02
* Contorsions pour que l'interpretation deses foncteurs depende des parametres ...Gravatar herbelin2003-09-02
* Freeze mal placeGravatar herbelin2003-09-02
* Export process_module_bindings pour traducteurGravatar herbelin2003-09-02
* auto completion disabled par defautGravatar marche2003-09-02
* Bug traduction Search, SearchPattern, etc.Gravatar herbelin2003-09-02
* Plus de passage du scope tmp sous les lambdasGravatar herbelin2003-09-02
* Passage de 'relation' à TypeGravatar herbelin2003-09-01
* majGravatar filliatr2003-09-01
* Syntaxe des constructeurs et des hypothesesGravatar herbelin2003-08-31
* Bug et améliorations diversGravatar herbelin2003-08-31
* 'Assumptions' sur le modèle général des lieursGravatar herbelin2003-08-31
* Symetrisation des changements implicites de scopeGravatar herbelin2003-08-31
* Mise en oeuvre de la syntaxe des inductifs a la ML 'Inductive nat : Set := O ...Gravatar herbelin2003-08-31
* Affichage des inductifs en v8Gravatar herbelin2003-08-31
* V8: FUNCLASS -> Funclass, SORTCLASS -> SortclassGravatar herbelin2003-08-31
* correction d'un stack overflow possible (PR#320)Gravatar letouzey2003-08-28
* majGravatar filliatr2003-08-15
* Fusion -translate et -ftranslateGravatar herbelin2003-08-14
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 13:55:05 +0000