spacemacs

Archived

Author	SHA1	Message	Date
JAremko	cd39f80c24	Reformat documentation	2018-10-11 00:13:43 +03:00
smile13241324	8943f856ed	Fix doc for chinese, transmission, d, command-log and idris layer	2018-01-19 19:41:40 +01:00
JAremko	06301b2212	Improve exporting/testing	2017-08-18 20:50:21 +03:00
JAremko	6c5a0b2b14	update docs to the new toc-org format	2017-05-22 18:35:37 +03:00
JAremko	f805d0ebd9	Fix spacefmt test on deleted files Also fix some links [ci skip]	2017-04-28 23:29:43 -04:00
Jeremy Bi	644cddca27	Enable auto-complete in Idris repl Add keybinding to kill Idris process	2016-07-02 12:41:49 +03:00
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

15 commits