coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-05-24	Update coqdev-setup-proofgeneral for dune	Gaëtan Gilbert

2019-05-22	Better dune ocamldebug integration	Gaëtan Gilbert
	- use coqc instead of coqtop (since -compile doesn't work anymore this is better) - pass through extra arguments to dune-dbg - auto detect the need to pass -emacs to ocamldebug - instructions for emacs users The dune-dbg dependencies are still broken ;_;
2019-03-01	Update coqdev.el to use -topfile	Gaëtan Gilbert
	PG would do it by default but since we override coq-prog-args it doesn't.
2018-07-12	[dev] Autogenerate OCaml dev files.	Emilio Jesus Gallego Arias
	For now we only copy the templates, but we could do more fancy stuff. This helps to be compatible with build systems that take care of these files automatically, see: https://github.com/coq/coq/pull/6857#discussion_r202096579
2018-05-15	[doc] Add an ELisp snippet to insert Sphinx roles and quotes	Clément Pit-Claudel

2018-05-11	coqdev.el: add bug-reference-mode variables	Gaëtan Gilbert

2018-02-21	coqdev.el: add space at the end of compile-command	Gaëtan Gilbert
	That way you can just type [-j] instead of having to remember to add a space yourself.
2018-02-13	coqdev.el: wait for 'compile to touch compilation-error-regexp-alist	Gaëtan Gilbert
	(and alist-alist)
2018-02-13	coqdev.el: fix "compilate"-command typo	Gaëtan Gilbert

2018-02-13	coqdev.el: shell-quote-argument the directory for make -C	Gaëtan Gilbert

2018-02-13	coqdev.el: stop using when-let for emacs<25 compatibility.	Gaëtan Gilbert

2018-02-11	Merge anomaly-traces-parser.el into coqdev.el.	Gaëtan Gilbert

2018-02-11	coqdev.el: add installation instructions.	Gaëtan Gilbert

2018-01-06	Remove dir-locals and ship suggested helper hooks instead.	Gaëtan Gilbert
	.dir-locals led to issues with unsafe local variable warnings. With this method the user is opting in to running this code so there are no warnings.