Hemant Gouni
|
0c7bf0508a
|
Add git flag
|
2021-08-16 21:47:39 +00:00 |
|
Wen Kokke
|
f9cafebe75
|
Updated README.
|
2021-06-16 23:31:37 +01:00 |
|
Wen Kokke
|
617a788315
|
Merge.
|
2021-06-16 16:17:09 +01:00 |
|
Jason Hemann
|
29e8a5387b
|
Link to cask-fonts cask for OSX.
Homebrew doesn't come out-of-the-box with mononoki available; this gives the user a hint as to how to install
|
2021-06-09 09:47:32 -04:00 |
|
Michael Morehouse
|
7c8b72ae25
|
Corrects "Windwos" -> "Windows"
Not my favorite OS, but Windows users might well search the file for occurrences and miss this one.
|
2021-02-28 16:58:17 +00:00 |
|
Wen Kokke
|
8c9782d9b6
|
Added short sections on Spacemacs, VSCode, and Atom.
|
2020-11-25 14:09:26 +01:00 |
|
Wen Kokke
|
e33b5fc952
|
Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda.
|
2020-10-24 17:22:41 +02:00 |
|
Wen Kokke
|
66ae436dc1
|
Updated Agda version, added caching back in.
|
2020-10-24 17:19:11 +02:00 |
|
Wen Kokke
|
67c6b725a6
|
Removed Travis integration.
|
2020-10-23 11:36:49 +02:00 |
|
Wen Kokke
|
3d4c9f7a1d
|
Fixed rendering errors.
|
2020-10-23 11:21:02 +02:00 |
|
Wen Kokke
|
17a68514b1
|
Fix a few issues in the README.
|
2020-10-23 09:01:44 +02:00 |
|
Wen Kokke
|
2c82ce21da
|
Switch to Hakyll as the build system for PLFA (#540)
|
2020-10-23 08:45:49 +02:00 |
|
Siddharth
|
f9b5ad3091
|
Add mnemonics to the list of keybindings
Make the mnemonic a little more obvious by bolding the text. Also explain why _split_ is `C-c C-c` [`c` for **c**case].
|
2020-10-03 13:06:02 +05:30 |
|
Wen Kokke
|
849807da58
|
Update README.md
|
2020-09-29 14:57:07 +02:00 |
|
Wen Kokke
|
467f0d1181
|
Revert "Close quotation mark (#521)" (#522)
This reverts commit 846a92c14f.
|
2020-09-29 12:39:09 +02:00 |
|
Oling Cat
|
846a92c14f
|
Close quotation mark (#521)
|
2020-09-29 12:24:51 +02:00 |
|
Wen Kokke
|
9ec78b534d
|
Added .dir-locals.el which disables auto-fill-mode.
|
2020-08-19 22:41:18 +02:00 |
|
Wen Kokke
|
6af8bed428
|
Added installation instructions for fix-whitespace.
|
2020-08-19 22:19:40 +02:00 |
|
Wen Kokke
|
b5d69ff010
|
Moved Git hooks to the .githooks directory, and created make init script.
|
2020-08-19 22:13:39 +02:00 |
|
Wen Kokke
|
ec4694070e
|
Added section on Git hooks to README.
|
2020-08-19 22:05:51 +02:00 |
|
Wen Kokke
|
f06137a621
|
Added fix-whitespace.yaml and fixed whitespace.
|
2020-08-19 21:54:32 +02:00 |
|
Wen Kokke
|
86d37017f4
|
Minor changes to README.
|
2020-08-13 11:09:48 +02:00 |
|
Wen Kokke
|
ada0f50e5d
|
Announce migration to 2.6.1.
|
2020-07-20 17:16:01 +01:00 |
|
Wen Kokke
|
0615638d66
|
Upgrade to Agda v2.6.1. (#492)
|
2020-07-19 19:43:20 +01:00 |
|
Wen Kokke
|
fb20064605
|
Adopted CalVer
|
2020-07-14 18:25:13 +01:00 |
|
Wen Kokke
|
c021bcc82c
|
Rewrote README to remove all the Lua stuff...
|
2020-07-02 22:21:18 +01:00 |
|
Wen Kokke
|
ce40f1d96f
|
Updated EPUB instructions in README.
|
2020-07-02 13:04:58 +01:00 |
|
Michael Reed
|
2e6e53d60a
|
Review: Add instructions for building the EPUB
|
2020-07-01 11:58:46 -04:00 |
|
Wen Kokke
|
eb6e9d93c5
|
Fix small error
|
2020-05-22 20:46:40 +01:00 |
|
Wen Kokke
|
5ae6438e8f
|
Restructured Getting Started.
|
2020-05-22 20:45:35 +01:00 |
|
Wen Kokke
|
6700cf597d
|
Rewrote Getting Started to provide instructions for installing a specific version of Agda.
|
2020-05-22 18:21:25 +01:00 |
|
YASUHIKO WATANABE
|
eb68d083a7
|
Mention some emacs commands.
|
2020-01-10 23:18:41 +09:00 |
|
Orestis Melkonian
|
2cebb92bc6
|
Getting Started: Auto-loading agda-mode
|
2019-09-25 21:22:29 +01:00 |
|
Wen Kokke
|
6d8f62d529
|
Merge pull request #410 from plfa/mononoki
Mononoki
|
2019-09-19 17:21:27 +01:00 |
|
Wen Kokke
|
d589dcbe8b
|
Added instructions for setting up mononoki with emacs.
|
2019-09-19 17:20:54 +01:00 |
|
Qais Patankar
|
d9c37f6903
|
Fix "Github" typo
|
2019-09-10 21:42:59 +01:00 |
|
wadler
|
954d328a9d
|
Updated README with warning to use correct versions
|
2019-08-06 08:56:17 +01:00 |
|
wadler
|
33ffce8bd8
|
Updated README
|
2019-08-01 18:31:55 +01:00 |
|
Wen Kokke
|
f6b899dd4e
|
Removed section on GNU sed and macOS
|
2019-07-18 10:52:59 +01:00 |
|
Wen Kokke
|
2a595363c0
|
Made all internal URLs portable (using site.baseurl)
|
2019-07-15 17:39:12 +01:00 |
|
Wen Kokke
|
124f40c3c2
|
Updated versions in README; building only cache.
|
2019-07-12 16:01:24 +01:00 |
|
Wen Kokke
|
56ebba4a73
|
Minimal version without agda2html
|
2019-07-12 13:56:17 +01:00 |
|
Wen Kokke
|
70bcdeec9a
|
Fix #260
|
2019-05-20 16:12:03 +01:00 |
|
Wen Kokke
|
a963118217
|
Close #235
|
2019-05-20 11:41:18 +01:00 |
|
Marko Dimjašević
|
17c86c539a
|
Getting Started: pins down a link to a specific Agda version
|
2019-01-31 15:09:24 +00:00 |
|
Marko Dimjašević
|
be4801faf5
|
Getting Started: pins down software versions so badges match links
|
2019-01-31 15:09:24 +00:00 |
|
wadler
|
4896989ba2
|
Setting up extrinsic branch
|
2019-01-11 09:10:56 +00:00 |
|
Wen Kokke
|
a8da92ec08
|
Made README consistent
|
2018-12-19 10:30:00 +01:00 |
|
Wen Kokke
|
cc478e2a6e
|
Turned library version badges blue
|
2018-12-18 13:01:07 +00:00 |
|
Wen Kokke
|
1b59d9747e
|
Updated README
|
2018-12-18 12:58:36 +00:00 |
|