coq/ide/dune, branch master The formal proof system Move CoqIDE to its own folder 2020-06-02T16:53:33+00:00 Maxime Dénès 2020-05-16T15:07:37+00:00 33021618a06a94563d28691940f02a55bd9d358d The will make it possible to put a VsCoq toplevel in `ide/vscoq`. 
The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
dune: Add byte mode for coqchk and coqide (fix dune-dbg for dune 2) 2019-12-09T21:40:03+00:00 Gaëtan Gilbert 2019-12-09T21:40:03+00:00 defda813f09428c446df5b4c964dc228587931d8 dune-dbg depends on coqchk.bc and coqide_main.bc, and apparently they now need explicit modes to be produced. 
dune-dbg depends on coqchk.bc and coqide_main.bc, and apparently they
now need explicit modes to be produced.
[dune] Update to dune language version 2.0 2019-12-04T13:14:58+00:00 Emilio Jesus Gallego Arias 2019-11-24T18:57:02+00:00 1d454c7721a429490165d1147313c061164b0b66 This is the minimal set of changes requires for Coq to build under 2.0 mode. We may likely take advantage of some more new features. Note that Dune 2.0 requires OCaml >= 4.06.0, OPAM allows to use Dune in older versions as it will install a secondary compiler. 
This is the minimal set of changes requires for Coq to build under 2.0
mode. We may likely take advantage of some more new features.

Note that Dune 2.0 requires OCaml >= 4.06.0, OPAM allows to use Dune
in older versions as it will install a secondary compiler.
[dune] Install .byte version of coqidetop like for coqtop. 2019-06-15T14:57:41+00:00 Théo Zimmermann 2019-06-15T14:57:39+00:00 bf21ac7831ed2dc830ad66d1d6023e12dbb5dcaf 






Merge PR #8560: Unicode bindings for CoqIDE that works out of the box
2019-03-22T10:44:53+00:00

Pierre-Marie Pédrot

2019-03-22T10:44:53+00:00

1d68c24736b4cf68ac0c2f70122e3f3d28f0e876

Reviewed-by: Zimmi48
Ack-by: charguer
Reviewed-by: gares
Reviewed-by: ppedrot





Reviewed-by: Zimmi48
Ack-by: charguer
Reviewed-by: gares
Reviewed-by: ppedrot







[coqide] [ci] Update GTK toolchain to lablgtk3
2019-03-19T08:41:47+00:00

Emilio Jesus Gallego Arias

2019-02-09T19:59:04+00:00

e3501ed973ddf4958e309d855c4d5d762e2f6e9d

- Update Docker images to install compatible version of lablgtk3
- We remove unnecesary variables from configure.
- We fix path detection of GTK libs in makefile





- Update Docker images to install compatible version of lablgtk3
- We remove unnecesary variables from configure.
- We fix path detection of GTK libs in makefile







CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.
2019-03-19T08:40:17+00:00

Hugo Herbelin

2018-11-19T14:39:37+00:00

977261ed0afd415932401c3f5df258333488e47b












[CoqIDE] dune rules for installing bindings
2019-03-18T10:29:52+00:00

Vincent Laporte

2018-11-21T09:19:34+00:00

63abcb2c05ff1cab52fc6a4d3c0e93c91e8940e5












[dune] [ide] Don't install the internal CoqIDE UI library.
2019-03-04T15:32:49+00:00

Emilio Jesus Gallego Arias

2019-03-04T15:32:49+00:00

18bdabf7211508e72ece347bbc619f16e79e3678

This library is unstable and not meant to be consumed by anyone. We
thus make it private.





This library is unstable and not meant to be consumed by anyone. We
thus make it private.







[dune] [ide] Install data files.
2018-11-09T17:27:20+00:00

Emilio Jesus Gallego Arias

2018-11-09T17:27:20+00:00

f0cb72dded093175feab3f19aac63fab46999e0a

We should install the files in `share/coqide` instead of the current
`coq` location; but we defer this change until we are more advanced in
the make-phase out.

Fixes: #8953





We should install the files in `share/coqide` instead of the current
`coq` location; but we defer this change until we are more advanced in
the make-phase out.

Fixes: #8953