@@ -45,6 +45,10 @@ Tool updates
45* iPKG files have a new option `pkgs` which takes a comma-separated list
45* iPKG files have a new option `pkgs` which takes a comma-separated list
46 of package names that the idris project depends on. This reduces bloat
46 of package names that the idris project depends on. This reduces bloat
47 in the `opts` option with multiple package declarations.
47 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.
48* Add definition command (\d in Vim, Ctrl-Alt-A in Atom, C-c C-s in Emacs) now
52* Add definition command (\d in Vim, Ctrl-Alt-A in Atom, C-c C-s in Emacs) now
49 adds missing clauses if there is already a definition.
53 adds missing clauses if there is already a definition.