coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Introducing MMaps, a modernized FMaps.	Pierre Letouzey	2015-03-04
*	Adding a new folder corresponding to the low-level part of the pretyper	Pierre-Marie Pédrot	2015-02-27
*	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-16
*	Using home-made ocamllibdep rather than coqdep_boot.	Hugo Herbelin	2015-02-16
*	Makefile: in byte we can always dynlink	Enrico Tassi	2015-02-14
*	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
*	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
*	Avoiding introducing yet another convention in naming files.	Hugo Herbelin	2015-01-08
*	Fix some documentation typos.	Guillaume Melquiond	2015-01-06
*	Install .v and .glob files too	Enrico Tassi	2014-12-19
*	STM: reorganize code and file names	Enrico Tassi	2014-10-31
*	No need anymore for referring to xml directory in MLINCLUDES.	Hugo Herbelin	2014-10-09
*	Removing the documentation of the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Removing the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Make CoqIDE compile with windows (Closes: 3573)	Enrico Tassi	2014-09-04
*	coqworkmgr	Enrico Tassi	2014-09-02
*	Configure.ml creates metadata to annotate MacOS binaries	Pierre Boutillier	2014-08-26
*	STM: new "par:" goal selector, like "all:" but in parallel	Enrico Tassi	2014-08-05
*	Forgot to add a Universes.v.tex as a target.	Matthieu Sozeau	2014-07-24
*	fixup fakeide test-suite	Pierre Boutillier	2014-07-24
*	A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle	Pierre Boutillier	2014-07-22
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	cut toploop(s) out of coqtop: now they are loaded dynamically	Enrico Tassi	2014-06-25
*	Fix install target in Makefile after 6acf543800fe176ca7d47ef7165ebc14588efb6f.	Maxime Dénès	2014-05-05
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
*	Revert "Makefile: the initial build of grammar.cma is now directory-driven"	Pierre Letouzey	2014-03-24
*	Compiling coqc in "tools" target.	Pierre-Marie Pédrot	2014-03-07
*	Makefile: the initial build of grammar.cma is now directory-driven	Pierre Letouzey	2014-03-02
*	Fix coqide build under MacOS	Pierre Boutillier	2014-02-24
*	Spawn: managed processes	Enrico Tassi	2014-01-26
*	refman: fist stab at Asynchronous Proofs	Enrico Tassi	2014-01-05
*	A few fixes to the build system (mostly for ocamlbuild)	Pierre Letouzey	2013-12-16
*	Documentation of the Derive plugin.	Arnaud Spiwack	2013-12-04
*	Derive plugin.	Arnaud Spiwack	2013-12-04
*	First stab at documenting Canonical Structures	Enrico Tassi	2013-11-29
*	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot	2013-09-06
*	Searchable stack data structure	gareuselesinge	2013-08-08
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18
*	Coqmktop: dynlink is now mandatory due to Maxime's native-compiler	letouzey	2013-04-17
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22
*	Tiny fix of r16049	pboutill	2012-12-10
*	Allow running coq-tex in win32 (fix #2921)	letouzey	2012-10-29
*	Makefiles: Only -I required dirs (config, lib, ide) when compiling coqide	pboutill	2012-10-15
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	Port rewrites of tactic documentation from branch 8.4.	gmelquio	2012-09-15
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	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: get rid of the -src option and of ${COQSRC}	letouzey	2012-08-23