aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-08-26module Coqastfilliatr
1999-08-26 - abstractionfilliatr
1999-08-25mise a jourfilliatr
1999-08-25modules Instantiate, Constant et Inductivefilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-23 - suppression de CONV_X et CONV_X_LEQ : les univers sont maintenant toujoursfilliatr
1999-08-20programmation literaire : un fichier de description par repertoirefilliatr
1999-08-20machine: execute = typage avec universfilliatr
1999-08-19mise en place programmation literaire (generation de doc/coq.tex)filliatr
1999-08-19coq.tex engendre automatiquementfilliatr
1999-08-19documentation (prog literaire)filliatr
1999-08-18module Reduction (fin)filliatr
1999-08-18suppression de l'option -nowarning qui n'est pas sainefilliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr
1999-08-17ajout de modulesfilliatr
1999-08-17generic, term et evdfilliatr
1999-08-17ajout dyn; divers fonctions utilfilliatr
1999-08-16liste des changementsfilliatr
1999-08-16ancien names decoupe en names + signfilliatr
1999-08-16Initial revisionfilliatr
1999-08-16New repository initialized by cvs2svn.(no author)
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-30 23:00:49 +0000