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
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
