aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
...
* Make CoqIDE compile with windows (Closes: 3573)Gravatar Enrico Tassi2014-09-04
* coqworkmgrGravatar Enrico Tassi2014-09-02
* Configure.ml creates metadata to annotate MacOS binariesGravatar Pierre Boutillier2014-08-26
* STM: new "par:" goal selector, like "all:" but in parallelGravatar Enrico Tassi2014-08-05
* Forgot to add a Universes.v.tex as a target.Gravatar Matthieu Sozeau2014-07-24
* fixup fakeide test-suiteGravatar Pierre Boutillier2014-07-24
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22
* 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
* Fix install target in Makefile after 6acf543800fe176ca7d47ef7165ebc14588efb6f.Gravatar Maxime Dénès2014-05-05
* Adding a stm/ folder, as asked during last workgroup. It was essentially movingGravatar Pierre-Marie Pédrot2014-04-25
* Revert "Makefile: the initial build of grammar.cma is now directory-driven"Gravatar Pierre Letouzey2014-03-24
* Compiling coqc in "tools" target.Gravatar Pierre-Marie Pédrot2014-03-07
* Makefile: the initial build of grammar.cma is now directory-drivenGravatar Pierre Letouzey2014-03-02
* Fix coqide build under MacOSGravatar Pierre Boutillier2014-02-24
* Spawn: managed processesGravatar Enrico Tassi2014-01-26
* refman: fist stab at Asynchronous ProofsGravatar Enrico Tassi2014-01-05
* A few fixes to the build system (mostly for ocamlbuild)Gravatar Pierre Letouzey2013-12-16
* Documentation of the Derive plugin.Gravatar Arnaud Spiwack2013-12-04
* Derive plugin.Gravatar Arnaud Spiwack2013-12-04
* First stab at documenting Canonical StructuresGravatar Enrico Tassi2013-11-29
* Moving Searchstack to CStack, and normalizing names a bit.Gravatar ppedrot2013-09-06
* Searchable stack data structureGravatar gareuselesinge2013-08-08
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06
* 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