aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2012-06-22Coq_makefile: make uninstall targetpboutill
2012-06-22Install is rather beautifulpboutill
2012-06-22inthe middle one more timepboutill
2012-06-22Refactoring seems OKpboutill
2012-06-22Coq_makefile: separate finding what to install where from generating the scri...pboutill
2012-06-14coq_makefile fixuppboutill
2012-06-12New step in purpose to get both camlp4 and camlp5 compatible coq_makefilespboutill
2012-05-31Coq_makefile bug for pluginspboutill
2012-05-29place all pretty-printing files in new dir printing/letouzey
2012-05-25Bugs revealed by playing with contribspboutill
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-23configure: add support of MinGW Win32 environment (fix #2526)letouzey
2012-05-15when cross-compiling with mingw32, let's fix the Filename.dir_sepletouzey
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-19Bug 2709: Duplication in coqdoc index entriespboutill
2012-02-29Coq_makefile: Add of extra options by defaultpboutill
2012-02-16Fix handling of space after "Notation" or "where", add missing keywords.msozeau
2011-12-26Coqdoc: Fixing missing newline when using "Proof term."herbelin
2011-12-17Coq_makefile: "beautify" targetpboutill
2011-12-17Coqdep adds %.v.beautified on the left of the ':' when it generates %.v depen...pboutill
2011-12-17Coq_makefile: "validate" target calls the checker over all vo.pboutill
2011-12-17Coq_makefile: section refactoring and no variables for OCaml if no ml* files ...pboutill
2011-12-17Coq_makefile: if no -install is provided, install location is set by a Makefi...pboutill
2011-11-25Added an API call to retrieve and change the option stateppedrot
2011-11-25Separated the toplevel interface into a purely declarative module with associ...ppedrot
2011-11-20Teach coq_makefile how to install into XDG_DATA_HOME.pboutill
2011-11-20Add support for XDG_DATA_HOME and XDG_DATA_DIRS.pboutill
2011-11-20coq_makefile: Don't install with +x.pboutill
2011-11-20coq_makefile: Add Makefile variables specifying installpboutill
2011-11-16Fixing beautification of "thm_token" (missing space) + improvements.herbelin
2011-11-06Also sprach CoqIDE (in XML)ppedrot
2011-10-29Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).herbelin
2011-10-29Fixed broken globalization of identifiers containing utf8 lettersherbelin
2011-10-29Added checksums to glob files and warned about possibly missingherbelin
2011-10-26Coq_makefile handles .mlpack filespboutill
2011-10-26Coqdep handles .mlpackpboutill
2011-10-26Coq_makefile includes coqtop -config without file generationpboutill
2011-10-26 Coq_makefile: libraries in bytecode are now installed toopboutill
2011-10-25Coq_makefile: a more complete commentary about global variablespboutill
2011-10-25Coq_makefile does not install/compile explicitely cmo and cmxs? that are in a...pboutill
2011-10-25coqdep defines a makefile variable name_MLLIB_DEPENDENCIES to store dependenc...pboutill
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-09-22Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).herbelin
2011-09-19Fix test-suite/ide for repository compiled without -local (fix #2600)letouzey
2011-09-18avoid dependency nightmare by creating coqdep_{lexer,common}.mliletouzey
2011-09-05fake_ide: a short program to mimic an ide talking to coqtop -ideslaveletouzey
2011-09-02Coq_makefile: bugfix in install rulepboutill
2011-09-01Coq_makefile : bug when a project file is not in the current directory.pboutill
2011-09-01Coq_makefile.absolute_dir -> Minilib.canonical_path_namepboutill
2011-09-01Creation of ide/project_file.ml4pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 18:23:31 +0000