coq - The formal proof system

Age	Commit message (Expand)	Author
2011-12-26	Coqdoc: Fixing missing newline when using "Proof term."	herbelin
2011-12-17	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-11-25	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-20	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-16	Fixing beautification of "thm_token" (missing space) + improvements.	herbelin
2011-11-06	Also sprach CoqIDE (in XML)	ppedrot
2011-10-29	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-26	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-25	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-09-27	In Coq_config: get rid of coqsrc and make coqlib optional	glondu
2011-09-22	Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).	herbelin
2011-09-19	Fix test-suite/ide for repository compiled without -local (fix #2600)	letouzey
2011-09-18	avoid dependency nightmare by creating coqdep_{lexer,common}.mli	letouzey
2011-09-05	fake_ide: a short program to mimic an ide talking to coqtop -ideslave	letouzey
2011-09-02	Coq_makefile: bugfix in install rule	pboutill
2011-09-01	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-07-22	Allow custom targets without commands specified	pboutill
2011-07-16	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-11	Makefiles generated by coq_makefile can build %.cmx?a from %.mllib	pboutill
2011-07-07	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-06-06	Typo.	gmelquio
2011-04-29	when -camlbin is explicitly given in configure, $OCAML* are $CAMLBIN/exec.	pboutill
2011-04-28	coq_makefile big cleanup	pboutill
2011-04-25	Fix for handling of -R "" in coqdoc (bug #2423).	herbelin