aboutsummaryrefslogtreecommitdiff
path: root/toplevel
AgeCommit message (Expand)Author
1999-11-24Vernacinterp et Vernacentries (partiellement)filliatr
1999-11-24Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsfilliatr
1999-11-23modules Indrec, Tacentries, Hiddentacfilliatr
1999-11-10On se fait la main: plus de precision si ill-formed rec bodyherbelin
1999-10-14module Logicfilliatr
1999-10-08deplacement des var. ex. dans proofsfilliatr
1999-09-29with_heavy_rollback deplace dans Statesfilliatr
1999-09-28corrections pour ocamlwebfilliatr
1999-09-28retablissement du toplevelfilliatr
1999-09-19module Declarefilliatr
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-09-10affichage des erreurs de typage dans minicoqfilliatr
1999-09-10documentation repertoire toplevelfilliatr
1999-09-08module Himsg, comme un foncteurfilliatr
1999-09-08minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...filliatr
1999-09-07instanciation des opérateurs sur la bonne signature (celle defilliatr
1999-09-07 - minicoq : definition inductifs; syntaxe a->bfilliatr
1999-09-07mise en place commandes minicoqfilliatr
1999-09-07(debut) de grammaire minicoqfilliatr
1999-09-06un mini toplevel pour tester le noyaufilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 17:38:05 +0000