aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* renommage (nom de module invalide)Gravatar filliatr1999-12-12
* mise en place des outilsGravatar filliatr1999-12-11
* outils (manquent encore les deux filtres)Gravatar filliatr1999-12-11
* Intégration initiale du CasesGravatar herbelin1999-12-11
* Quelques fonctions sur les locations des rawconstrGravatar herbelin1999-12-11
* bug: enregistrement de vartab au lieu de csttabGravatar filliatr1999-12-10
* indications pour les developpeursGravatar filliatr1999-12-10
* - erreurs PretypeGravatar filliatr1999-12-10
* debug resetGravatar filliatr1999-12-10
* Suppression Rel de rawconstr et correction de bugs d'affichageGravatar herbelin1999-12-10
* debug discharge et inductifsGravatar filliatr1999-12-10
* Ajout des messages d'erreurs de CasesGravatar herbelin1999-12-09
* Bug affichage constructeurGravatar herbelin1999-12-09
* - constantes avec recettesGravatar filliatr1999-12-09
* Discharge (encore bugge)Gravatar filliatr1999-12-09
* deplacement de Discharge dans toplevelGravatar filliatr1999-12-08
* link Dhyp et AutoGravatar filliatr1999-12-07
* debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkesGravatar filliatr1999-12-07
* correction bug construct_referenceGravatar filliatr1999-12-07
* MAJGravatar herbelin1999-12-06
* Ajout option spéciale PPCGravatar herbelin1999-12-06
* Bug iterated_binderGravatar herbelin1999-12-06
* PPMultipleCase.v -> PPCases.v et MAJGravatar herbelin1999-12-06
* initialisation load path (provisoire)Gravatar filliatr1999-12-06
* check_correct_par n'etait pas fait au bon endroitGravatar filliatr1999-12-06
* declarations eliminations / debuggae inductifs (debut)Gravatar filliatr1999-12-06
* erreurs lexicalesGravatar filliatr1999-12-06
* premier debugageGravatar filliatr1999-12-05
* fichiers de benchGravatar filliatr1999-12-05
* repertoire pour les etatsGravatar filliatr1999-12-05
* pretty-printGravatar filliatr1999-12-05
* changement type add_anonymous_leafGravatar filliatr1999-12-05
* mise au point lexer / debugage PPGravatar filliatr1999-12-05
* add_leaf -> application methode cacheGravatar filliatr1999-12-05
* explicitations erreurs inductifsGravatar filliatr1999-12-05
* abstraction type Gmapl.tGravatar filliatr1999-12-05
* compilation nativeGravatar filliatr1999-12-03
* bug make_strength repareGravatar filliatr1999-12-03
* renommage pour eviter pbm avec ocamldep (syntax error)Gravatar filliatr1999-12-03
* - coqmktopGravatar filliatr1999-12-03
* pour debugger dans le toplevel ocamlGravatar filliatr1999-12-03
* coqmktopGravatar filliatr1999-12-03
* module Discharge (ne fait rien pour l'instant)Gravatar filliatr1999-12-03
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* - global_reference traite des variablesGravatar filliatr1999-12-03
* Modifs suite à intégration de class.mlGravatar herbelin1999-12-02
* Version initialeGravatar herbelin1999-12-02
* ... dans toplevelGravatar herbelin1999-12-02
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* Pfedit (fin)Gravatar filliatr1999-12-02