aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* make otags only relies on otagsGravatar pboutill2012-04-12
* 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
* Makefile.build: add targets install-devfiles and install-ide-devfilesGravatar pboutill2012-01-31
* Bug 2679: Do not try to install cmxs with -byte-onlyGravatar pboutill2012-01-16
* Added a Btauto plugin, that solves boolean tautologies.Gravatar ppedrot2012-01-13
* Bug 2377 part 2: old revision file is erased by installGravatar pboutill2011-12-19
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* Makefile: force the installation of all .cmi (and remove some obsolete .mli)Gravatar letouzey2011-12-08
* Moving XML handling to lib directoryGravatar ppedrot2011-11-24
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* coqide-gtk2rc not dottedGravatar pboutill2011-11-20
* Completed list of theories targetsGravatar herbelin2011-11-16
* Added XML dependencies into MakefileGravatar ppedrot2011-11-06
* Makefile install rule fixGravatar pboutill2011-10-26
* Not hard-wiring camlp5 path in target source-doc!Gravatar herbelin2011-09-25
* avoid dependency nightmare by creating coqdep_{lexer,common}.mliGravatar letouzey2011-09-18
* Various fixes in the MakefilesGravatar letouzey2011-09-17
* make world now builds fake_ide (to please coq-bench)Gravatar letouzey2011-09-06
* fake_ide: a short program to mimic an ide talking to coqtop -ideslaveGravatar letouzey2011-09-05
* same_file in MinilibGravatar pboutill2011-09-01
* Creation of ide/project_file.ml4Gravatar pboutill2011-09-01
* Customized accelerator maps for macos are globally installed (end to fix 2462)Gravatar pboutill2011-06-17
* git rebase -i mess consequenceGravatar pboutill2011-06-15
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* Coqide Menubar integration in MacOSGravatar pboutill2011-06-10
* no more errors at _stubs.c.d generationGravatar pboutill2011-06-10
* weak dependency of coqtop for coqide and coqc (bug 2390)Gravatar pboutill2011-04-08
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Makefile.build: states/initial.coq was wrongly done with -dont-load-proofsGravatar letouzey2011-03-21
* Makefile.build: compile the stdlib with -dont-load-proofs by defaultGravatar letouzey2011-03-18
* Revert "syntax for exponents"Gravatar glondu2011-02-25
* syntax for exponentsGravatar pottier2011-02-22
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* 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
* Don't install both coqide.byte and coqide.optGravatar pboutill2011-01-07
* Extraction: allow to use Extraction Inline / NoInline even from under a section.Gravatar letouzey2010-10-06
* Fix installation of emacs filesGravatar glondu2010-07-24
* Finish adding out-of-the-box support for camlp4Gravatar letouzey2010-07-09
* Remove dependency to Unix from module ProfileGravatar glondu2010-07-02
* Backporting modifications to nsatz (doc + fix of bug #2328) from trunk to v8.3.Gravatar herbelin2010-06-26
* Fixing dependencies for coqideGravatar vgross2010-06-22
* Do not link system library into installed .cmaGravatar glondu2010-06-02
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* ocamldoc related fixesGravatar pboutill2010-05-03
* Re-enable validation in "make check", run it in parallel with test-suiteGravatar glondu2010-05-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-28 13:35:13 +0000