aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqinit.ml
Commit message (Expand)AuthorAge
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...Gravatar herbelin2003-11-29
* Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofsGravatar herbelin2003-08-11
* fabrication de ide/utf8.voGravatar letouzey2003-05-23
* Ajout répertoire interpGravatar herbelin2002-11-27
* compat ocaml 3.03Gravatar filliatr2001-12-13
* GROS COMMIT:Gravatar barras2001-11-05
* Abstraction de l'immplementation de dirpath et implementation dans l'autre se...Gravatar herbelin2001-10-17
* make install dans coq_makefile et repertoire associe user-contrib ajoute au l...Gravatar filliatr2001-09-19
* ParsingGravatar herbelin2001-08-10
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* *** empty log message ***Gravatar courant2001-04-19
* utilisation de Options.if_verboseGravatar filliatr2001-04-03
* entetesGravatar filliatr2001-03-15
* bug Reset et SectionsGravatar filliatr2001-02-28
* Suppression warning no .coqrcGravatar herbelin2001-02-08
* Meilleure approche du conflit path/freeze/library_root en séquentialisant la...Gravatar herbelin2001-02-07
* Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dirGravatar herbelin2001-02-07
* Bug installation non localeGravatar herbelin2000-12-27
* Mini-nettoyage noms longsGravatar herbelin2000-12-05
* Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...Gravatar herbelin2000-11-29
* Remplacement des add_include par add_rec_include pour avoir le repertoire dan...Gravatar herbelin2000-11-28
* nouveau load pathGravatar filliatr2000-11-08
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* - états fabriqués avec -silentGravatar filliatr1999-12-13
* - erreurs PretypeGravatar filliatr1999-12-10
* debug discharge et inductifsGravatar filliatr1999-12-10
* initialisation load path (provisoire)Gravatar filliatr1999-12-06
* erreurs lexicalesGravatar filliatr1999-12-06
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03