aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
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
2011-09-01Coq_makefile: Bug fix of check_deppboutill
2011-09-01Coq_makefile: process_cmd_line is purely functional.pboutill
2011-09-01Coq_makefile: No other function than split_arguments uses a target type.pboutill
2011-09-01Coq_makefile: New option -arg to specify a compiler option.pboutill
2011-09-01Coq_makefile drops the '/' at the end of physical path of -I and -Rpboutill
2011-07-22Allow custom targets without commands specifiedpboutill
2011-07-16This adds two option tables 'Printing Record' and 'Printing Constructor'herbelin
2011-07-16This option disables the use of the '{| field := ... |}' notationherbelin
2011-07-11Makefiles generated by coq_makefile can build %.cmx?a from %.mllibpboutill
2011-07-07coq_makefile logical path ending with '.' are correctly convert to physical pathpboutill
2011-07-07coq_makefile bug fix 2405: cmxs are now made from cmx filespboutill
2011-07-07coq_makefile documentation in Refman and -hpboutill
2011-07-07coq_makefile doesn't complain anymore when a dir is both -I and -Rpboutill
2011-06-06Typo.gmelquio
2011-04-29when -camlbin is explicitly given in configure, $OCAML* are $CAMLBIN/exec.pboutill
2011-04-28coq_makefile big cleanuppboutill
2011-04-25Fix for handling of -R "" in coqdoc (bug #2423).herbelin
2011-04-21Ocamlbuild: in win32, coqide is now a console-free app by defaultletouzey
2011-04-20Coqdoc: also try coqlib relative to the coqdoc binary locationletouzey
2011-04-14Add directories in COQPATH to search path.herbelin
2011-04-14Reorder search path order, so the standard library is search last.herbelin
2011-04-08Applying Tom Prince's patch to coqdep not correctly applying the -R visibilityherbelin
2011-04-08A kind of reply to bug 2444pboutill
2011-04-03Fix last commit about coqdep: not everyone has a user-contrib dirletouzey
2011-04-01Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...gmelquio
2011-01-28Remove the "Boxed" syntaxes and the const_entry_boxed fieldletouzey
2010-12-06Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...herbelin
2010-12-04Better fix to bug #2183 ("moduleid" internal name got exposed to usersherbelin
2010-12-04Fixing several bugs with links to notation in coqdoc, including bug #2445:herbelin
2010-09-28Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces themsozeau
2010-09-28Minor fixes of 'make doc'pboutill
2010-09-19Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") butherbelin
2010-09-18Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" inherbelin
2010-09-17Coqdep_boot : misc improvementsletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-07-23Fix a bug found by S.Glondu. coq-db.el did not compile.courtieu
2010-07-09Finish adding out-of-the-box support for camlp4letouzey
2010-07-02Remove dependency to Unix from module Profileglondu
2010-06-03Add unix.cma on camlp4 command-line in coq_makefile (Closes: #2326)glondu
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 06:49:30 +0000