diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
| commit | 4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch) | |
| tree | 356496503d52354aa6d9f2d36126302fed5f3a73 /sci-mathematics/alectryon/files | |
| parent | fcc5224904648a8e6eb528d7603154160a20022f (diff) | |
gentoo resync : 20.03.2022
Diffstat (limited to 'sci-mathematics/alectryon/files')
| -rw-r--r-- | sci-mathematics/alectryon/files/50alectryon-gentoo.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/alectryon/files/50alectryon-gentoo.el b/sci-mathematics/alectryon/files/50alectryon-gentoo.el new file mode 100644 index 000000000000..2d6ca63cdd6d --- /dev/null +++ b/sci-mathematics/alectryon/files/50alectryon-gentoo.el @@ -0,0 +1,3 @@ +(add-to-list 'load-path "@SITELISP@") +(autoload 'alectryon-mode "alectryon" "Mode for Literate Coq files." t) +(add-hook 'coq-mode-hook #'alectryon-mode t) |