aboutsummaryrefslogtreecommitdiff
path: root/Makefile.common
AgeCommit message (Expand)Author
2012-08-23Port from 8.4 branch some build fixes concerning win32 :letouzey
2012-08-22Do not forget to build the unicode libraries, necessary to compile and launch...msozeau
2012-08-08Fixup for macOS 10.8 & Ocaml 4.0pboutill
2012-07-05Legacy Ring and Legacy Field migrated to contribsletouzey
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-06-20Install compat5 module with grammar.cmapboutill
2012-05-29place all pretty-printing files in new dir printing/letouzey
2012-05-29place all files specific to camlp4 syntax extensions in grammar/letouzey
2012-05-29Vernacexpr is now a mli-only file, locality stuff now in locality.mlletouzey
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-15Makefile: Really avoid locales in $(DATE)letouzey
2012-05-10Addedum to documentation of bullets: I now use the dedicated coq_exampleaspiwack
2012-04-17Remove the Dp plugin.gmelquio
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-14Final part of moving Program code inside the main code. Adapted add_definitio...msozeau
2012-03-02Noise for nothingpboutill
2012-01-13Added a Btauto plugin, that solves boolean tautologies.ppedrot
2011-12-06fix Makefile.common handling of -byte-onlygareuselesinge
2011-11-24Moving XML handling to lib directoryppedrot
2011-11-06Added XML dependencies into Makefileppedrot
2011-11-06Added XML manipulation tools to compilation chainppedrot
2011-09-17Various fixes in the Makefilesletouzey
2011-09-06make world now builds fake_ide (to please coq-bench)letouzey
2011-05-13A new mechanism to handle errors.aspiwack
2011-05-09remove useless dependancy for csdpcertfbesson
2011-03-28Ide: restaure compilation of ide/macjokes.c removed by mistakeletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-03-23Ide: stronger separation from coqtopletouzey
2011-02-25Revert "syntax for exponents"glondu
2011-02-22syntax for exponentspottier
2011-01-25Add a test for sorting all universes of stdlibglondu
2011-01-07MacOS integrationpboutill
2011-01-07Coqide is not built with coqmktop any morepboutill
2010-12-10First release of Vector library.pboutill
2010-11-02Move stuff about positive into a distinct PArith subdirletouzey
2010-09-24dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ...letouzey
2010-07-07Fixed compilation with statically-linked plugins (the decl_modeherbelin
2010-06-22Backport from trunk to 8.3 of modifications on groebner/nsatzherbelin
2010-06-04Extraction: finish ExtrOcamlNatInt, add similar translation nat==>big_intletouzey
2010-06-03plugin groebner updated and renamed as nsatz; first version of the doc of nsa...pottier
2010-06-02Extraction: start of a support libraryletouzey
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-04-29"make source-doc" builds documentation of mli in html and pdf atpboutill
2010-04-22Here comes the commit, announced long ago, of the new tactic engine.aspiwack
2010-04-06New model for user-driven translation of tokens in coqdocherbelin
2010-03-19Définition de GRAMMARCMA: parsing/grammar.cma n'était plus installé, ce qu...notin
2010-03-05Makefile: some more cleanupletouzey
2010-03-04Makefile: no more separate stagesletouzey
2010-03-04Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)letouzey
2010-01-26make init + NMake.v/NMake_gen.vnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:09:32 +0000