index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
Commit message (
Expand
)
Author
Age
*
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-12-17
*
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-25
*
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-20
*
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
[next]