index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile.ide
Age
Commit message (
Expand
)
Author
2017-12-23
[lib] Split auxiliary libraries into Coq-specific and general.
Emilio Jesus Gallego Arias
2017-11-13
[ci] [coq] Complete 4.06.0 support.
Emilio Jesus Gallego Arias
2017-10-13
Fix some more missing mkdir lines to Makefile.ide
Jason Gross
2017-08-17
Make Travis generate OSX packages.
Maxime Dénès
2017-08-04
Makefile: install-byte works even if -coqide no
Enrico Tassi
2017-07-25
Makefile.ide: restore a coqide-binaries rule (fix bug 5667)
Pierre Letouzey
2017-05-30
Makefile: no bytecode compilation in make world, see make byte instead
Pierre Letouzey
2016-07-05
Revert "Merge remote-tracking branch 'github/pr/229' into trunk"
Maxime Dénès
2016-07-04
Merge remote-tracking branch 'github/pr/229' into trunk
Maxime Dénès
2016-07-03
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-06-29
Makefile: no bytecode compilation in make world, see make byte instead
Pierre Letouzey
2016-06-21
Makefile: compat5* moved in grammar/, less -I given to camlp4o
Pierre Letouzey
2016-06-15
Makefile.build: ensure a build failure in case of a missing rule
Pierre Letouzey
2016-06-08
Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}
Pierre Letouzey
