index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
_tags
Commit message (
Expand
)
Author
Age
*
Adding a new folder corresponding to the low-level part of the pretyper
Pierre-Marie Pédrot
2015-02-27
*
Remove Whelp commands.
Maxime Dénès
2015-02-17
*
A few fixes to the build system (mostly for ocamlbuild)
Pierre Letouzey
2013-12-16
*
coqc and coqmktop migrated in tools/, get rid of scripts/ subdir
letouzey
2013-04-18
*
Revert "remove -rectypes except for term.ml"
mdenes
2013-01-22
*
Coqide: get rid of threads, use gtk asynchronous i/o instead
letouzey
2012-12-08
*
Turn mltop.ml4 into a regular ocaml file
letouzey
2012-10-06
*
ocamlbuild simplifications
letouzey
2012-10-06
*
remove -rectypes except for term.ml
letouzey
2012-10-06
*
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
*
migration of g_obligations.ml4, ocamlbuild side
letouzey
2012-04-26
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Moving XML handling to lib directory
ppedrot
2011-11-24
*
Fixed ocamlbuild compilation (Tom Prince)
ppedrot
2011-11-09
*
Ocamlbuild : build of fake_ide
letouzey
2011-09-06
*
Bug 3596: ocamlbuild: coq_makefile now requires Unix
pboutill
2011-09-03
*
G_vernac can be parsed without grammar.cma
letouzey
2011-04-26
*
Ocamlbuild: in win32, coqide is now a console-free app by default
letouzey
2011-04-21
*
ocamlbuild: support again camlp5 in addition to camlp4
letouzey
2011-04-08
*
Ide: more reorganisation and cleanup
letouzey
2011-03-25
*
Fix ocamlbuild-based build system
glondu
2011-01-11
*
Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo)
letouzey
2010-07-15
*
Misc fixes related to new nsatz (and ocamlbuild)
letouzey
2010-06-03
*
Ocamlbuild: various fix
letouzey
2010-05-19
*
static (and shared) camlp4use instead of per-file declaration
letouzey
2010-05-19
*
Myocamlbuild: slight simplification of code for .ml4
letouzey
2010-03-18
*
Fix the build of coq via ocamlbuild
letouzey
2009-12-08
*
Use camlp4 to accept some specific non-exhaustive patterns in groebner
letouzey
2009-07-20
*
_tags: lexer.ml4 now uses pa_macro
letouzey
2009-04-28
*
ocamlbuild: tags for new file tactics/rewrite.ml4
letouzey
2009-04-08
*
Csdpcert: adaptation after last commit
letouzey
2009-03-29
*
ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)
letouzey
2009-03-29
*
ocamlbuild: coqide, coqchk, a bit of .vo
letouzey
2009-03-26
*
ocamlbuild improvements + minor makefile fix
letouzey
2009-03-24
*
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
2009-03-20