aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
1999-10-13 - re-introduction d'une evar_map dans unsafe_envfilliatr
1999-10-13redeplacement des var. ex. dans kernel :-)filliatr
1999-10-12module Logicfilliatr
1999-10-08deplacement des var. ex. dans proofsfilliatr
1999-09-28corrections pour ocamlwebfilliatr
1999-09-28mise en place du toplevel (ne compile pas encore)filliatr
1999-09-19module Declarefilliatr
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-09-18module Libraryfilliatr
1999-09-10affichage des erreurs de typage dans minicoqfilliatr
1999-09-10modules System, Lib et Statesfilliatr
1999-09-08module Himsgfilliatr
1999-09-08compilation des grammaires (ouf)filliatr
1999-09-08 - deplacement time stamps dans System (car utilise Unix)filliatr
1999-09-08modules Ast et Pcoqfilliatr
1999-09-07mise a jourfilliatr
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-07mise en place grammaire minicoqfilliatr
1999-09-06mise en place repertoire test-suite/, toplevel/, parsing/filliatr
1999-09-03modules Libobject et Summary (partiel)filliatr
1999-08-30mise a jourfilliatr
1999-08-27module Indtypesfilliatr
1999-08-26environnement surfilliatr
1999-08-26le noyau compile et linkfilliatr
1999-08-25mise a jourfilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-20machine: execute = typage avec universfilliatr
1999-08-18module Reduction (fin)filliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr
1999-08-17ajout de modulesfilliatr
1999-08-16ancien names decoupe en names + signfilliatr
1999-08-16Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 13:10:57 +0000