aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18
* Coqmktop: dynlink is now mandatory due to Maxime's native-compilerGravatar letouzey2013-04-17
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Tiny fix of r16049Gravatar pboutill2012-12-10
* Allow running coq-tex in win32 (fix #2921)Gravatar letouzey2012-10-29
* Makefiles: Only -I required dirs (config, lib, ide) when compiling coqideGravatar pboutill2012-10-15
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* Port rewrites of tactic documentation from branch 8.4.Gravatar gmelquio2012-09-15
* Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSGravatar pboutill2012-09-12
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* No more coqtop.opt, produce directly a coqtop binaryGravatar letouzey2012-08-23
* configure: get rid of the -src option and of ${COQSRC}Gravatar letouzey2012-08-23
* Port from 8.4 branch some build fixes concerning win32 :Gravatar letouzey2012-08-23
* Do not forget to build the unicode libraries, necessary to compile and launch...Gravatar msozeau2012-08-22
* Fixup for macOS 10.8 & Ocaml 4.0Gravatar pboutill2012-08-08
* Legacy Ring and Legacy Field migrated to contribsGravatar letouzey2012-07-05
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* Install compat5 module with grammar.cmaGravatar pboutill2012-06-20
* place all pretty-printing files in new dir printing/Gravatar letouzey2012-05-29
* place all files specific to camlp4 syntax extensions in grammar/Gravatar letouzey2012-05-29
* Vernacexpr is now a mli-only file, locality stuff now in locality.mlGravatar letouzey2012-05-29
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Makefile: Really avoid locales in $(DATE)Gravatar letouzey2012-05-15
* Addedum to documentation of bullets: I now use the dedicated coq_exampleGravatar aspiwack2012-05-10
* Remove the Dp plugin.Gravatar gmelquio2012-04-17
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Final part of moving Program code inside the main code. Adapted add_definitio...Gravatar msozeau2012-03-14
* Noise for nothingGravatar pboutill2012-03-02
* Added a Btauto plugin, that solves boolean tautologies.Gravatar ppedrot2012-01-13
* fix Makefile.common handling of -byte-onlyGravatar gareuselesinge2011-12-06
* Moving XML handling to lib directoryGravatar ppedrot2011-11-24
* Added XML dependencies into MakefileGravatar ppedrot2011-11-06
* Added XML manipulation tools to compilation chainGravatar ppedrot2011-11-06
* Various fixes in the MakefilesGravatar letouzey2011-09-17
* make world now builds fake_ide (to please coq-bench)Gravatar letouzey2011-09-06
* A new mechanism to handle errors.Gravatar aspiwack2011-05-13
* remove useless dependancy for csdpcertGravatar fbesson2011-05-09
* Ide: restaure compilation of ide/macjokes.c removed by mistakeGravatar letouzey2011-03-28
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Ide: stronger separation from coqtopGravatar letouzey2011-03-23
* Revert "syntax for exponents"Gravatar glondu2011-02-25
* syntax for exponentsGravatar pottier2011-02-22
* Add a test for sorting all universes of stdlibGravatar glondu2011-01-25
* MacOS integrationGravatar pboutill2011-01-07
* Coqide is not built with coqmktop any moreGravatar pboutill2011-01-07
* First release of Vector library.Gravatar pboutill2010-12-10
* Move stuff about positive into a distinct PArith subdirGravatar letouzey2010-11-02
* dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ...Gravatar letouzey2010-09-24
* Fixed compilation with statically-linked plugins (the decl_modeGravatar herbelin2010-07-07
* Backport from trunk to 8.3 of modifications on groebner/nsatzGravatar herbelin2010-06-22