emacspace
c7c348a676
documentation formatting: Sun May 26 20:58:52 UTC 2019
2019-05-27 01:23:35 +03:00
Anton-Latukha
f6660f82d4
Switch to the new layers generator
2019-05-15 21:08:21 +03:00
Anton-Latukha
ba074bc908
layers: lang: new structure: general: add pure, multi-paradigm (&js)
2019-05-15 21:04:48 +03:00
JAremko
77c680160e
Add placeholder tags
2019-05-05 20:40:47 +03:00
emacspace
45276bd96f
documentation formatting: Wed Dec 5 03:03:03 UTC 2018
2018-12-04 22:06:14 -05:00
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
