aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/usage.ml
Commit message (Expand)AuthorAge
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* backtrack dans l'algo d'unificationGravatar barras2002-04-10
* raccourci -l en plus de -load-vernac-sourceGravatar letouzey2002-03-07
* -dump-glob dans le usageGravatar filliatr2002-02-27
* Ajout d'une option et d'une fonction compile pour fabriquer les .voGravatar herbelin2001-09-18
* *** empty log message ***Gravatar courant2001-04-19
* bug Print Proof; usage coqtop/coqcGravatar filliatr2001-04-06
* option -verbose a coqc; option -i suppriméeGravatar filliatr2001-03-21
* entetesGravatar filliatr2001-03-15
* Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...Gravatar herbelin2000-12-06
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* retablissement de line_oriented_parser pour YvesGravatar filliatr2000-11-22
* modulesGravatar filliatr1999-12-12
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03