aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* module LibraryGravatar filliatr1999-09-18
* modules System, Lib et StatesGravatar filliatr1999-09-10
* simplifications de codeGravatar filliatr1999-09-09
* implode codé avec String.concatGravatar filliatr1999-09-09
* time stamps dans SystemGravatar filliatr1999-09-08
* deplacement coqast vers parsing/Gravatar filliatr1999-09-08
* mise en place commandes minicoqGravatar filliatr1999-09-07
* mise en place repertoire test-suite/, toplevel/, parsing/Gravatar filliatr1999-09-06
* modules Libobject et Summary (partiel)Gravatar filliatr1999-09-03
* un petit effort de presentation dans les interfacesGravatar filliatr1999-08-30
* environnement surGravatar filliatr1999-08-26
* module CoqastGravatar filliatr1999-08-26
* mach et himsg; typage sans extractionGravatar filliatr1999-08-24
* programmation literaire : un fichier de description par repertoireGravatar filliatr1999-08-20
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* module Reduction (fin)Gravatar filliatr1999-08-18
* module Reduction (debut)Gravatar filliatr1999-08-18
* module ClosureGravatar filliatr1999-08-17
* ajout dyn; divers fonctions utilGravatar filliatr1999-08-17
* ancien names decoupe en names + signGravatar filliatr1999-08-16
* Initial revisionGravatar filliatr1999-08-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 09:38:02 +0000