7 Commits

Author	SHA1	Message	Date
Henrik Lissner	48c531e76c	lang/coq: move config.el to autoload.el ... The auto-mode-alist entry for coq-mode and friends are already added by proof-general's autoloads file, and neither coq-mode nor company-coq-mode belong to proof-site specifically, so they shouldn't be treated like they are (this could cause autoloading errors). The `def-package!` block altogether is unnecessary. The only thing we need is to enable `company-coq-mode` on coq-mode-hook. However, having a one-line config.el is a tad excessive, so we put it in autoload.el instead.	2018-08-18 23:45:36 +02:00
Patrick Elliott	6393ebe16b	Removed redundant config	2018-08-18 14:51:21 +02:00
Patrick Elliott	55b5c7711b	Updated readme	2018-08-15 08:34:21 +02:00
Patrick Elliott	f5c1be44ba	Added quelpa recipe	2018-08-15 08:33:38 +02:00
Patrick Elliott	2929b58cde	Modified variable	2018-08-15 08:17:20 +02:00
Patrick Elliott	4280ea3418	Added readme.	2018-08-14 23:30:20 +02:00
Patrick Elliott	fa223ceafd	Added basic coq support	2018-08-14 23:21:55 +02:00