index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
coqmktop.ml
Age
Commit message (
Expand
)
Author
2017-12-10
[build] Remove coqmktop in favor of ocamlfind.
Emilio Jesus Gallego Arias
2017-10-10
[configure] Support for flambda flags.
Emilio Jesus Gallego Arias
2017-10-03
fix compilation on OCaml < 4.04
Enrico Tassi
2017-09-19
coq_makefile: make sure compile flags for Coq and coq_makefile are in sync
Emilio Jesus Gallego Arias
2017-07-27
[toplevel] Remove long ago deprecated and NOOP options.
Emilio Jesus Gallego Arias
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-06-02
Drop '.' from CErrors.anomaly, insert it in args
Jason Gross
2017-05-30
Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3
Maxime Dénès
2017-05-28
Fail on deprecated warning even for Ocaml > 4.02.3
Gaëtan Gilbert
2017-05-27
[cleanup] Unify all calls to the error function.
Emilio Jesus Gallego Arias
2017-04-07
[camlpX] Enrico's changes to camlp4 removal.
Emilio Jesus Gallego Arias
2017-02-15
[stm] Break stm/toplevel dependency loop.
Emilio Jesus Gallego Arias
2016-07-03
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2016-01-06
Merge remote-tracking branch 'origin/v8.5' into trunk
Guillaume Melquiond
2016-01-05
Disable warning 31 when generating coqtop from coqmktop.
Maxime Dénès
2015-06-22
All invocations to ocaml compilers go through ocamlfind
Pierre Boutillier
2015-01-12
Update headers.
Maxime Dénès
2014-01-30
Coqmktop without Sys.command, changes in ./configure -*byteflags options
Pierre Letouzey
2013-12-20
coqmktop without Unix (simpler all_subdirs)
Pierre Letouzey
2013-10-29
Revert the two last commits. My bad, I messed up git-svn commands...
ppedrot
2013-10-29
Printing heap on every processed sentence.
ppedrot
2013-09-19
Get rid of the uses of deprecated OCaml elements (still remaining compatible ...
xclerc
2013-08-22
Misc changes around coqtop.ml :
letouzey
2013-08-08
State Transaction Machine
gareuselesinge
2013-04-18
coqc and coqmktop migrated in tools/, get rid of scripts/ subdir
letouzey
