Emilio Jesús Gallego Arias
Emilio Jesús Gallego Arias
Readd dune
2d5b28a deleted the dune file, which was not broken per-se but only usable from a Coq overlay composed build. We add a version which should work in both contexts, as...
Hi folks, I'm updating some old developments to CoqEAL , back in the day I used some branches such as paramcoq but now it seems that there are stale. Maybe...
Mainly warning removal + fixing the the @check dune target. Had this pending on my HD. Closes #115
- main changes are in the completion API, see https://developer.gnome.org/gtksourceview/stable/porting-guide-3-to-4.html - todos: + implement new completion API [present already in sourceview3 but prefixed] + see what happened with `draw_spaces` API,...
I am opening this issue to track: - the windows build using Dune - and how to add Travis support. First question is what should the right windows environment be,...
gtkdoc is an ocamldoc plugin that allows to link to GTK upstream documentation, with the move to Dune, `ocamldoc` is now deprecated in favor of `odoc` as a documentation generator...
We remove the "library location" information bit as it is only used for printing and introduces a dependency on `Library` which is unnecessary, as in my opinion we'd like loadpath...
Follow up of #16512 , eventually coqide should have its own configure script.
This is a prototype implementation for CEP https://github.com/coq/ceps/pull/65 We add a common metadata object to atomic libobjects, so we can store documentation, location, and other interesting attributes that are needed...