TakeV/spacemacs
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
9688 commits 1 branch 0 tags 62 MiB
Commit graph

16 commits

Author SHA1 Message Date
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
Renamed from layers/+lang/idris-lang/README.org (Browse further)