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