aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
2012-04-27Removed the quasi-useless gtk2rc file and the documentation that went with it...ppedrot
2012-04-17Remove the Dp plugin.gmelquio
2012-04-12make otags only relies on otagspboutill
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-01-31Makefile.build: add targets install-devfiles and install-ide-devfilespboutill
2012-01-16Bug 2679: Do not try to install cmxs with -byte-onlypboutill
2012-01-13Added a Btauto plugin, that solves boolean tautologies.ppedrot
2011-12-19Bug 2377 part 2: old revision file is erased by installpboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-12-08Makefile: force the installation of all .cmi (and remove some obsolete .mli)letouzey
2011-11-24Moving XML handling to lib directoryppedrot
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-11-20coqide-gtk2rc not dottedpboutill
2011-11-16Completed list of theories targetsherbelin
2011-11-06Added XML dependencies into Makefileppedrot
2011-10-26Makefile install rule fixpboutill
2011-09-25Not hard-wiring camlp5 path in target source-doc!herbelin
2011-09-18avoid dependency nightmare by creating coqdep_{lexer,common}.mliletouzey
2011-09-17Various fixes in the Makefilesletouzey
2011-09-06make world now builds fake_ide (to please coq-bench)letouzey
2011-09-05fake_ide: a short program to mimic an ide talking to coqtop -ideslaveletouzey
2011-09-01same_file in Minilibpboutill
2011-09-01Creation of ide/project_file.ml4pboutill
2011-06-17Customized accelerator maps for macos are globally installed (end to fix 2462)pboutill
2011-06-15git rebase -i mess consequencepboutill
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-10Coqide Menubar integration in MacOSpboutill
2011-06-10no more errors at _stubs.c.d generationpboutill
2011-04-08weak dependency of coqtop for coqide and coqc (bug 2390)pboutill
2011-04-03Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-03-21Makefile.build: states/initial.coq was wrongly done with -dont-load-proofsletouzey
2011-03-18Makefile.build: compile the stdlib with -dont-load-proofs by defaultletouzey
2011-02-25Revert "syntax for exponents"glondu
2011-02-22syntax for exponentspottier
2011-01-28Remove the "Boxed" syntaxes and the const_entry_boxed fieldletouzey
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
2011-01-07Don't install both coqide.byte and coqide.optpboutill
2010-10-06Extraction: allow to use Extraction Inline / NoInline even from under a section.letouzey
2010-07-24Fix installation of emacs filesglondu
2010-07-09Finish adding out-of-the-box support for camlp4letouzey
2010-07-02Remove dependency to Unix from module Profileglondu
2010-06-26Backporting modifications to nsatz (doc + fix of bug #2328) from trunk to v8.3.herbelin
2010-06-22Fixing dependencies for coqidevgross
2010-06-02Do not link system library into installed .cmaglondu
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:30:44 +0000