coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18
*	Checker : a md5-based way to ensure checker/values.ml is always in sync	letouzey	2013-04-15
*	votour: a small tool for guided tours of .vo	letouzey	2013-04-15
*	Checker: re-sync vo structures after Maxime's commit 16136	letouzey	2013-02-12
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22
*	Revert "remove -rectypes except for term.ml"	mdenes	2013-01-22
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	Coqmktop: missing -I (fix #2851)	letouzey	2012-10-23
*	Coqide does not need dllcoqrun.so	pboutill	2012-10-22
*	Makefile.build: CONFIG is now in clib	pboutill	2012-10-17
*	Do not install libcoqrun.so if compiled with -custom	pboutill	2012-10-17
*	Makefiles: Only -I required dirs (config, lib, ide) when compiling coqide	pboutill	2012-10-15
*	Makefile.build: $(MLINCLUDES) out of $(OPT/BYTEFLAGS)	pboutill	2012-10-15
*	Turn mltop.ml4 into a regular ocaml file	letouzey	2012-10-06
*	no need for camlp4 cma's in coq misc tools	letouzey	2012-10-06
*	remove -rectypes except for term.ml	letouzey	2012-10-06
*	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