coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Makefiles generated by coq_makefile can build %.cmx?a from %.mllib	pboutill	2011-07-11
*	coq_makefile logical path ending with '.' are correctly convert to physical path	pboutill	2011-07-07
*	coq_makefile bug fix 2405: cmxs are now made from cmx files	pboutill	2011-07-07
*	coq_makefile documentation in Refman and -h	pboutill	2011-07-07
*	coq_makefile doesn't complain anymore when a dir is both -I and -R	pboutill	2011-07-07
*	Typo.	gmelquio	2011-06-06
*	when -camlbin is explicitly given in configure, $OCAML* are $CAMLBIN/exec.	pboutill	2011-04-29
*	coq_makefile big cleanup	pboutill	2011-04-28
*	Fix for handling of -R "" in coqdoc (bug #2423).	herbelin	2011-04-25
*	Ocamlbuild: in win32, coqide is now a console-free app by default	letouzey	2011-04-21
*	Coqdoc: also try coqlib relative to the coqdoc binary location	letouzey	2011-04-20
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Reorder search path order, so the standard library is search last.	herbelin	2011-04-14
*	Applying Tom Prince's patch to coqdep not correctly applying the -R visibility	herbelin	2011-04-08
*	A kind of reply to bug 2444	pboutill	2011-04-08
*	Fix last commit about coqdep: not everyone has a user-contrib dir	letouzey	2011-04-03
*	Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...	gmelquio	2011-04-01
*	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey	2011-01-28
*	Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...	herbelin	2010-12-06
*	Better fix to bug #2183 ("moduleid" internal name got exposed to users	herbelin	2010-12-04
*	Fixing several bugs with links to notation in coqdoc, including bug #2445:	herbelin	2010-12-04