coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Makefile.build: easier compilation with timings info	letouzey	2012-10-04
*	New makefile shortcuts miniopt and minibyte for coqtop + plugins	letouzey	2012-10-02
*	Added a ml-dot option to Makefile to generate dependency graph of core modules	ppedrot	2012-09-25
*	Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is ...	letouzey	2012-09-20
*	Remove broken makefile option NO_RECOMPILE_LIB	letouzey	2012-09-20
*	MacOS integration uses lablgtkosx >= 1.1	pboutill	2012-09-17
*	Makefile: revised install-coqide rule	letouzey	2012-09-07
*	Fix coqide compilation with lablgtk 2.16	pboutill	2012-09-04
*	Erase %.vo dependency to the phony target states	pboutill	2012-09-04
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	No more coqtop.opt, produce directly a coqtop binary	letouzey	2012-08-23
*	Configure + Makefile : simplification when -local	letouzey	2012-08-23
*	Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)	letouzey	2012-08-23
*	Port from 8.4 branch some build fixes concerning win32 :	letouzey	2012-08-23
*	Do not forget to build the unicode libraries, necessary to compile and launch...	msozeau	2012-08-22
*	Fixup for macOS 10.8 & Ocaml 4.0	pboutill	2012-08-08
*	Win32: some quote fixes	letouzey	2012-08-06
*	Legacy Ring and Legacy Field migrated to contribs	letouzey	2012-07-05
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	Makefile.build: a rule for building grammar.dot	letouzey	2012-05-29
*	Makefile: avoid too much exported vars (for win32)	letouzey	2012-05-29
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Makefile.build typo in echo	pboutill	2012-05-11
*	Tentative and very experminental support for typerex. Enabled with	aspiwack	2012-05-11
*	Coqide highligthing is back (done by gtksourceview).	pboutill	2012-05-02
*	Fix make install after emacs mode troll (r15251)	pboutill	2012-04-28
*	Configure asks for lablgtk >= 2.12 with gtksourceview2	pboutill	2012-04-27
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	Remove the Dp plugin.	gmelquio	2012-04-17
*	make otags only relies on otags	pboutill	2012-04-12
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Final part of moving Program code inside the main code. Adapted add_definitio...	msozeau	2012-03-14
*	Makefile.build: add targets install-devfiles and install-ide-devfiles	pboutill	2012-01-31
*	Bug 2679: Do not try to install cmxs with -byte-only	pboutill	2012-01-16
*	Added a Btauto plugin, that solves boolean tautologies.	ppedrot	2012-01-13
*	Bug 2377 part 2: old revision file is erased by install	pboutill	2011-12-19
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	Makefile: force the installation of all .cmi (and remove some obsolete .mli)	letouzey	2011-12-08
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	coqide-gtk2rc not dotted	pboutill	2011-11-20
*	Completed list of theories targets	herbelin	2011-11-16
*	Added XML dependencies into Makefile	ppedrot	2011-11-06
*	Makefile install rule fix	pboutill	2011-10-26
*	Not hard-wiring camlp5 path in target source-doc!	herbelin	2011-09-25
*	avoid dependency nightmare by creating coqdep_{lexer,common}.mli	letouzey	2011-09-18
*	Various fixes in the Makefiles	letouzey	2011-09-17
*	make world now builds fake_ide (to please coq-bench)	letouzey	2011-09-06
*	fake_ide: a short program to mimic an ide talking to coqtop -ideslave	letouzey	2011-09-05
*	same_file in Minilib	pboutill	2011-09-01