5 commits

Author	SHA1	Message	Date
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
Eivind Fonn	16e7ad2923	Clean up PATH documentation	2015-10-29 13:48:46 +01:00
d12frosted	a89a05ca9a	add note about setting up $PATH	2015-10-29 13:48:46 +01: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/agda/README.org (Browse further)