9 Commits

Author	SHA1	Message	Date
syl20bnr	07852abad5	Format documenation files with doc-fmt tool	2016-04-12 23:31:38 -04:00
Fabien Dubosson	247d7cc5bd	Add back idris REPL bindings on `,si` and `,'`	2016-04-11 10:58:14 +02:00
Jeremy Bi	ec9c18b832	Improve idris support ... Squashing the 3 commits of #5688: Commit 1 -------- Add prefix doc in idris layer Also remove `idris-ensure-process-and-repl-buffer` as this is not an interactive command Add `SPC m l` keybinding for extracting lemma Bind `SPC m c` to `idris-case-dwim` Commit 2 -------- Fix registering idris repl Commit 3 -------- Add basic auto-completion for idris mode	2016-04-11 10:50:34 +02:00
syl20bnr	3b0c1fd93d	Convert org doc files with doc-fmt	2016-03-30 22:59:55 -04:00
syl20bnr	cddf18ff1e	Update install layer section in REAMDE.org files	2016-01-06 00:21:55 -05:00
Eivind Fonn	c893383fe4	Fix some documentation bugs ... - CSS links - GIFS in published version - Unify layer doc titles - Change emoji layer emojis to an image	2015-12-03 23:50:29 -05:00
Eivind Fonn	c3866382b2	Documentation update ... - Add #+HTML_HEAD_EXTRA options to all org files - HTMLize published documentation via CSS	2015-11-13 14:23:13 +01:00
Eivind Fonn	13c5b1d24b	Convert documentation to publishable format	2015-11-01 23:40:29 -05:00
Timothy Jones	2f6a45f561	Rename the idris-lang layer to idris ... The idris-mode package has been updated to no longer use the idris-packages variable, which allows the Idris layer to safely be renamed to the standard for other languages.	2015-09-22 11:08:22 +02:00

Renamed from layers/+lang/idris-lang/README.org (Browse further)