11 commits

Author	SHA1	Message	Date
Christoph Hegemann	985a07b71c	add keybindings for goto definition functionality	2016-07-21 12:13:34 +02:00
syl20bnr	482277dad5	purescript: reorganize README.org	2016-07-05 00:23:16 -04:00
Christoph Hegemann	72515135dc	incorporate new functionality from psc-ide	2016-07-05 00:23:16 -04: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
syl20bnr	8d76f600b2	purescript: move SPC m m t to SPC m h t ... by convention	2015-12-19 22:51:01 -05:00
Christoph Hegemann	acd3ffcdd3	adds psc-ide support to purescript layer	2015-12-19 22:49:00 -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
justbur	6eab954afe	Use + instead of ! for layer categories ... Helm seems to treat "!" specially in pattern matching, so having a ! in the pattern string when traversing directories is problematic. This change fixes #2737, because as far as I can tell "+" has no special meaning in a helm pattern. Of course, we can choose a different character, but I'm fond of "+" as representing "more layers here".	2015-09-11 00:13:51 -04:00

Renamed from layers/!lang/purescript/README.org (Browse further)