aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqinit.ml
Commit message (Expand)AuthorAge
* Integration of theories/Ints into theories/Numbers, part 3: fixing forgotten ...Gravatar letouzey2008-05-07
* Bugs, nettoyage, et améliorations diversesGravatar herbelin2008-04-13
* some references to IntMap forgotten in last commitGravatar letouzey2008-03-19
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* migration of ide/utf8.v to theories/Unicode/Utf8.vGravatar letouzey2007-12-13
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Modification de l'initialisation des chemins de la librairie standardGravatar notin2007-08-20
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* bug de coqide sous windows (bad file descriptor)Gravatar barras2005-11-23
* Ajout récursif du répertoire COQLIB/user-contrib au chemin de chargementGravatar herbelin2005-03-11
* Nouvelle en-têteGravatar herbelin2004-07-16
* - 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