coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29
*	Bugs revealed by playing with contribs	pboutill	2012-05-25
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	configure: add support of MinGW Win32 environment (fix #2526)	letouzey	2012-05-23
*	when cross-compiling with mingw32, let's fix the Filename.dir_sep	letouzey	2012-05-15
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Bug 2709: Duplication in coqdoc index entries	pboutill	2012-03-19
*	Coq_makefile: Add of extra options by default	pboutill	2012-02-29
*	Fix handling of space after "Notation" or "where", add missing keywords.	msozeau	2012-02-16
*	Coqdoc: Fixing missing newline when using "Proof term."	herbelin	2011-12-26
*	Coq_makefile: "beautify" target	pboutill	2011-12-17
*	Coqdep adds %.v.beautified on the left of the ':' when it generates %.v depen...	pboutill	2011-12-17
*	Coq_makefile: "validate" target calls the checker over all vo.	pboutill	2011-12-17
*	Coq_makefile: section refactoring and no variables for OCaml if no ml* files ...	pboutill	2011-12-17
*	Coq_makefile: if no -install is provided, install location is set by a Makefi...	pboutill	2011-12-17
*	Added an API call to retrieve and change the option state	ppedrot	2011-11-25
*	Separated the toplevel interface into a purely declarative module with associ...	ppedrot	2011-11-25
*	Teach coq_makefile how to install into XDG_DATA_HOME.	pboutill	2011-11-20
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	coq_makefile: Don't install with +x.	pboutill	2011-11-20
*	coq_makefile: Add Makefile variables specifying install	pboutill	2011-11-20
*	Fixing beautification of "thm_token" (missing space) + improvements.	herbelin	2011-11-16
*	Also sprach CoqIDE (in XML)	ppedrot	2011-11-06
*	Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).	herbelin	2011-10-29
*	Fixed broken globalization of identifiers containing utf8 letters	herbelin	2011-10-29
*	Added checksums to glob files and warned about possibly missing	herbelin	2011-10-29
*	Coq_makefile handles .mlpack files	pboutill	2011-10-26
*	Coqdep handles .mlpack	pboutill	2011-10-26
*	Coq_makefile includes coqtop -config without file generation	pboutill	2011-10-26
*	Coq_makefile: libraries in bytecode are now installed too	pboutill	2011-10-26
*	Coq_makefile: a more complete commentary about global variables	pboutill	2011-10-25
*	Coq_makefile does not install/compile explicitely cmo and cmxs? that are in a...	pboutill	2011-10-25
*	coqdep defines a makefile variable name_MLLIB_DEPENDENCIES to store dependenc...	pboutill	2011-10-25
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).	herbelin	2011-09-22
*	Fix test-suite/ide for repository compiled without -local (fix #2600)	letouzey	2011-09-19
*	avoid dependency nightmare by creating coqdep_{lexer,common}.mli	letouzey	2011-09-18
*	fake_ide: a short program to mimic an ide talking to coqtop -ideslave	letouzey	2011-09-05
*	Coq_makefile: bugfix in install rule	pboutill	2011-09-02
*	Coq_makefile : bug when a project file is not in the current directory.	pboutill	2011-09-01
*	Coq_makefile.absolute_dir -> Minilib.canonical_path_name	pboutill	2011-09-01
*	Creation of ide/project_file.ml4	pboutill	2011-09-01
*	Coq_makefile: Bug fix of check_dep	pboutill	2011-09-01
*	Coq_makefile: process_cmd_line is purely functional.	pboutill	2011-09-01
*	Coq_makefile: No other function than split_arguments uses a target type.	pboutill	2011-09-01
*	Coq_makefile: New option -arg to specify a compiler option.	pboutill	2011-09-01
*	Coq_makefile drops the '/' at the end of physical path of -I and -R	pboutill	2011-09-01
*	Allow custom targets without commands specified	pboutill	2011-07-22
*	This adds two option tables 'Printing Record' and 'Printing Constructor'	herbelin	2011-07-16
*	This option disables the use of the '{\| field := ... \|}' notation	herbelin	2011-07-16