aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqinit.ml
Commit message (Expand)AuthorAge
...
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* cut toploop(s) out of coqtop: now they are loaded dynamicallyGravatar Enrico Tassi2014-06-25
* Add an option -Q (tentative name).Gravatar Guillaume Melquiond2014-04-08
* Change handling of loadpath and mlpath.Gravatar Guillaume Melquiond2014-04-06
* Lets coqtop use a slashGravatar Virgile Prevosto2014-03-06
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* Restrict (try...with...) to avoid catching critical exn (part 13)Gravatar letouzey2013-03-13
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Updating the backtrace handling mechanism to accomodate the newGravatar ppedrot2013-02-18
* Actually adding backtrace handling.Gravatar ppedrot2013-01-28
* Added backtrace information to anomaliesGravatar ppedrot2013-01-28
* Modulification of dir_pathGravatar ppedrot2012-12-14
* Modulification of identifierGravatar ppedrot2012-12-14
* Ensure that a function declared with a label is used with itGravatar letouzey2012-12-08
* Monomorphization (toplevel)Gravatar ppedrot2012-11-26
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* Notation: a new annotation "compat 8.x" extending "only parsing"Gravatar letouzey2012-07-05
* Getting rid of Pp.msgnl and Pp.message.Gravatar ppedrot2012-06-01
* place all pretty-printing files in new dir printing/Gravatar letouzey2012-05-29
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* /home/pirbo/.coqrc* are read againGravatar pboutill2011-11-21
* -user option removalGravatar pboutill2011-11-21
* coqrc in the right XDG_CONFIG_HOME/coq folderGravatar pboutill2011-11-20
* Add support for XDG_DATA_HOME and XDG_DATA_DIRS.Gravatar pboutill2011-11-20
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Reorder search path order, so the standard library is search last.Gravatar herbelin2011-04-14
* First release of Vector library.Gravatar pboutill2010-12-10
* Move stuff about positive into a distinct PArith subdirGravatar letouzey2010-11-02
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* MSets: a new generation of FSetsGravatar letouzey2009-10-13
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Some dead code removal + cleanupsGravatar letouzey2009-04-08
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* Made the debugger work again:Gravatar herbelin2009-01-02
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 04:41:04 +0000