coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	make install-coqlight installs DLLCOQRUN and LIBCOQRUN	Pierre Boutillier	2014-03-06
*	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey	2014-03-02
*	Makefile: the initial build of grammar.cma is now directory-driven	Pierre Letouzey	2014-03-02
*	Makefile: re-introduce 2 phases to avoid make strange -include's	Pierre Letouzey	2014-02-27
*	make coqide-binaries does not build coqtop anymore	Pierre Boutillier	2014-02-24
*	Fix coqide build under MacOS	Pierre Boutillier	2014-02-24
*	fake_ide: ported to spawn	Enrico Tassi	2014-02-10
*	Coqmktop without Sys.command, changes in ./configure -*byteflags options	Pierre Letouzey	2014-01-30
*	configure.ml fixed wrt Win32 + byte-only + coqide	Enrico Tassi	2014-01-26
*	Goodbye typerex, Hello merlin	Pierre	2014-01-09
*	md5 for MacOS	Pierre	2014-01-09
*	Makefile.build: avoid a -pp	Pierre Letouzey	2013-12-20
*	Coqdep always uses / as dir_sep	Pierre Boutillier	2013-12-20
*	Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e	Pierre Boutillier	2013-12-17
*	Do not compile coqide with -thread	Pierre Boutillier	2013-12-12
*	Revert the two last commits. My bad, I messed up git-svn commands...	ppedrot	2013-10-29
*	Printing heap on every processed sentence.	ppedrot	2013-10-29
*	CoqIDE: move cmd_stack to a separate module: Document	gareuselesinge	2013-10-10
*	fake_ide: speak the new protocol	gareuselesinge	2013-10-07
*	Fixing ocamldebug compilation by adding thread linking.	ppedrot	2013-09-24
*	Fix compilation of coqcheck	gareuselesinge	2013-08-20
*	State Transaction Machine	gareuselesinge	2013-08-08
*	Fixing argument extension. Instead of qualified names, string	ppedrot	2013-06-19
*	Removing the various glob/subst/interp registering functions for	ppedrot	2013-06-18
*	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