aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2012-05-29place all files specific to camlp4 syntax extensions in grammar/letouzey
2012-05-29Makefile.build: a rule for building grammar.dotletouzey
2012-05-29Makefile: avoid too much exported vars (for win32)letouzey
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-11Makefile.build typo in echopboutill
2012-05-11Tentative and very experminental support for typerex. Enabled withaspiwack
2012-05-02Coqide highligthing is back (done by gtksourceview).pboutill
2012-04-28Fix make install after emacs mode troll (r15251)pboutill
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 10:35:12 +0000