aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-12-12mise a jourfilliatr
1999-12-12modules et coqcfilliatr
1999-12-12modulesfilliatr
1999-12-12renommage (nom de module invalide)filliatr
1999-12-11mise en place des outilsfilliatr
1999-12-11outils (manquent encore les deux filtres)filliatr
1999-12-11Intégration initiale du Casesherbelin
1999-12-11Quelques fonctions sur les locations des rawconstrherbelin
1999-12-10bug: enregistrement de vartab au lieu de csttabfilliatr
1999-12-10indications pour les developpeursfilliatr
1999-12-10 - erreurs Pretypefilliatr
1999-12-10debug resetfilliatr
1999-12-10Suppression Rel de rawconstr et correction de bugs d'affichageherbelin
1999-12-10debug discharge et inductifsfilliatr
1999-12-09Ajout des messages d'erreurs de Casesherbelin
1999-12-09Bug affichage constructeurherbelin
1999-12-09 - constantes avec recettesfilliatr
1999-12-09Discharge (encore bugge)filliatr
1999-12-08deplacement de Discharge dans toplevelfilliatr
1999-12-07link Dhyp et Autofilliatr
1999-12-07debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkesfilliatr
1999-12-07correction bug construct_referencefilliatr
1999-12-06MAJherbelin
1999-12-06Ajout option spéciale PPCherbelin
1999-12-06Bug iterated_binderherbelin
1999-12-06PPMultipleCase.v -> PPCases.v et MAJherbelin
1999-12-06initialisation load path (provisoire)filliatr
1999-12-06check_correct_par n'etait pas fait au bon endroitfilliatr
1999-12-06declarations eliminations / debuggae inductifs (debut)filliatr
1999-12-06erreurs lexicalesfilliatr
1999-12-05premier debugagefilliatr
1999-12-05fichiers de benchfilliatr
1999-12-05repertoire pour les etatsfilliatr
1999-12-05pretty-printfilliatr
1999-12-05changement type add_anonymous_leaffilliatr
1999-12-05mise au point lexer / debugage PPfilliatr
1999-12-05add_leaf -> application methode cachefilliatr
1999-12-05explicitations erreurs inductifsfilliatr
1999-12-05abstraction type Gmapl.tfilliatr
1999-12-03compilation nativefilliatr
1999-12-03bug make_strength reparefilliatr
1999-12-03renommage pour eviter pbm avec ocamldep (syntax error)filliatr
1999-12-03 - coqmktopfilliatr
1999-12-03pour debugger dans le toplevel ocamlfilliatr
1999-12-03coqmktopfilliatr
1999-12-03module Discharge (ne fait rien pour l'instant)filliatr
1999-12-03modules profile, Coqinit et Coqtop (=main)filliatr
1999-12-03 - global_reference traite des variablesfilliatr
1999-12-02Modifs suite à intégration de class.mlherbelin
1999-12-02Version initialeherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-23 03:35:52 +0000