index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile.common
Commit message (
Expand
)
Author
Age
*
Tiny fix of r16049
pboutill
2012-12-10
*
Allow running coq-tex in win32 (fix #2921)
letouzey
2012-10-29
*
Makefiles: Only -I required dirs (config, lib, ide) when compiling coqide
pboutill
2012-10-15
*
Moved Compat to parsing. This permits to break the dependency of the
ppedrot
2012-10-04
*
Port rewrites of tactic documentation from branch 8.4.
gmelquio
2012-09-15
*
Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS
pboutill
2012-09-12
*
No more states/initial.coq, instead coqtop now requires Prelude.vo
letouzey
2012-08-23
*
No more coqtop.opt, produce directly a coqtop binary
letouzey
2012-08-23
*
configure: get rid of the -src option and of ${COQSRC}
letouzey
2012-08-23
*
Port from 8.4 branch some build fixes concerning win32 :
letouzey
2012-08-23
*
Do not forget to build the unicode libraries, necessary to compile and launch...
msozeau
2012-08-22
*
Fixup for macOS 10.8 & Ocaml 4.0
pboutill
2012-08-08
*
Legacy Ring and Legacy Field migrated to contribs
letouzey
2012-07-05
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
Install compat5 module with grammar.cma
pboutill
2012-06-20
*
place all pretty-printing files in new dir printing/
letouzey
2012-05-29
*
place all files specific to camlp4 syntax extensions in grammar/
letouzey
2012-05-29
*
Vernacexpr is now a mli-only file, locality stuff now in locality.ml
letouzey
2012-05-29
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
Makefile: Really avoid locales in $(DATE)
letouzey
2012-05-15
*
Addedum to documentation of bullets: I now use the dedicated coq_example
aspiwack
2012-05-10
*
Remove the Dp plugin.
gmelquio
2012-04-17
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Final part of moving Program code inside the main code. Adapted add_definitio...
msozeau
2012-03-14
*
Noise for nothing
pboutill
2012-03-02
*
Added a Btauto plugin, that solves boolean tautologies.
ppedrot
2012-01-13
*
fix Makefile.common handling of -byte-only
gareuselesinge
2011-12-06
*
Moving XML handling to lib directory
ppedrot
2011-11-24
*
Added XML dependencies into Makefile
ppedrot
2011-11-06
*
Added XML manipulation tools to compilation chain
ppedrot
2011-11-06
*
Various fixes in the Makefiles
letouzey
2011-09-17
*
make world now builds fake_ide (to please coq-bench)
letouzey
2011-09-06
*
A new mechanism to handle errors.
aspiwack
2011-05-13
*
remove useless dependancy for csdpcert
fbesson
2011-05-09
*
Ide: restaure compilation of ide/macjokes.c removed by mistake
letouzey
2011-03-28
*
Ide: more reorganisation and cleanup
letouzey
2011-03-25
*
Ide: stronger separation from coqtop
letouzey
2011-03-23
*
Revert "syntax for exponents"
glondu
2011-02-25
*
syntax for exponents
pottier
2011-02-22
*
Add a test for sorting all universes of stdlib
glondu
2011-01-25
*
MacOS integration
pboutill
2011-01-07
*
Coqide is not built with coqmktop any more
pboutill
2011-01-07
*
First release of Vector library.
pboutill
2010-12-10
*
Move stuff about positive into a distinct PArith subdir
letouzey
2010-11-02
*
dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ...
letouzey
2010-09-24
*
Fixed compilation with statically-linked plugins (the decl_mode
herbelin
2010-07-07
*
Backport from trunk to 8.3 of modifications on groebner/nsatz
herbelin
2010-06-22
*
Extraction: finish ExtrOcamlNatInt, add similar translation nat==>big_int
letouzey
2010-06-04
*
plugin groebner updated and renamed as nsatz; first version of the doc of nsa...
pottier
2010-06-03
*
Extraction: start of a support library
letouzey
2010-06-02
[next]