@@ -45,6 +45,10 @@ Tool updates
4545* iPKG files have a new option `pkgs` which takes a comma-separated list
4646 of package names that the idris project depends on. This reduces bloat
4747 in the `opts` option with multiple package declarations.
48+* iPKG files now allow `executable = "your filename here"` in addition to
49+ the existing `executable = yourFilenameHere` style. While the unquoted
50+ version is limited to filenames that look like namespaced Idris identifiers
51+ (`your.filename.here`), the quoted version accepts any valid filename.
4852* Add definition command (\d in Vim, Ctrl-Alt-A in Atom, C-c C-s in Emacs) now
4953 adds missing clauses if there is already a definition.
5054