aboutsummaryrefslogtreecommitdiffhomepage
path: root/config
Commit message (Expand)AuthorAge
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* Prise en compte camlp4.opt dans la configuration et le MakefileGravatar herbelin2000-11-11
* nouveau load pathGravatar filliatr2000-11-08
* Retrait du 'strip' en cas de profilingGravatar herbelin2000-06-27
* compilation bytecode / native :Gravatar filliatr2000-05-03
* mise en place des outilsGravatar filliatr1999-12-11
* - erreurs PretypeGravatar filliatr1999-12-10
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* Initial revisionGravatar filliatr1999-08-16