- Fix #116 (related to version number comparison)
- Fix #79 (forgot to bundle this in the last release)
- Merge PR#114 by @erydo 👏
- Fix #79 (allow users to custom keymap)
- Fix #72 (with default keymap extensions)
- Input method overhaul
- Fix #110
- Testing with GitHub Actions CI 🤖️
- Fix #112 and #95
- S-expression parser overhaul (Possibly related to #106)
- Fix #12 and #108
- Fix bundled source
- Fix #101 and #105
- Generate log on parse errors
- Fix #104
- Merge PR from @marklemay 👏
- Fix #98 and #102
- Fix #100 and #101
- Scrap all TypeScript/JavaScript code
- Rewrite everything with Reasonml/OCaml
- Fix #94
- Parsing S-expressions incrementally
- Merge PRs from @mchristianl and @omega12345 👏
- Fix #91
- Fix #80 and #81 with PRs by @jaywunder 👏
- Fix #77 (#76)
- Fix #75
- Fix #76
- Fix #74
- Convert (presumably) 60% of the codebase to Reason/OCaml
- Fix loads of goals/warnings/errors parsing problems
- Fix #66
- Fix
agda-mode:restart
- Handle grammar loading error
- Fix and implement #6, #61, #62
- Enhance
agda-mode:query-symbol
andagda-mode:why-in-scope
- Fix and implement #59, #60
- Simplify connection settings
- Fix #54
- Simplify connection settings
- Fix #54
- Fix #56
- Fix background colour of buttons on hover in light themes
- Add a new command "agda-mode:abort"
- Update the input method keymap to match that of Agda-2.5.4 (I want that banana brackets!!)
- Extend the input method keymap with a complete set of mathematical alphanumeric symbols
- Fix errors not displayed properly
- Improve Settings/Protocol
- Fix some stuff
- Bring the spinner back for indicating pending commands
- Fix some stuff
- Undo/Redo
- Implement #46
- Fix #51 (error on agda-mode:give after Agda-2.5.3)
- Fix #51 (error when introducing latex symbols before agda-mode:load)
- Fix #52
- Remove agda-mode:info
- Fix #50, automatic proof search!
- Fix #51
- Synchronise requests and responses
- Updates the requirement of version of Atom
- Pulls #49
- Connection management
- Views in the panes are now migrated to the docks
- Fix #48
- Fix #46
- Update TypeScript typing dependencies
- Fix #44 and #45
- Fix #43
- Fix #38
- Renew the unicode symbols input keymap
- Fix #39 and #41 (thanks to @jonaprieto and @ruhatch)
- Fix unable to input certain symbols before agda-mode:load
- Fix hole index parsing and display
- Fix agda-mode:solve-constraints unable to fill out solutions
- Fix memory leak of event handlers on package deactivation
- Allow clicking through those annoying invisible goal index overlays
- Restore indirect highlighting information passing
- Fix judgement parsing (#23)
- Fix "Not In Scope" error parsing
- Fix judgement parsing (#23)
- Fix plain text message won't display
- Fix judgement parsing (#23)
- Introduce dev-mode-only monitor (for debugging)
- Fix mini editor won't go away
- Fix S-expression parsing
- Merge pull request #35, which fixed file path handling on Windows (by @NightRa)
- Merge pull request #36, which drastically sped up S-expression parsing 👍 (by @NightRa)
- Brings undo/redo back
- Fix problems of clicking on locations
- Rewrite the whole view with React/Redux, say goodbye to Vue.js
- Allow the panel to be docked at other panes
- Allow the panel docked at bottom to be resizable
- Fix #34
- Handle some more cases of error
- Text in the mini text editor is now selected by default
- Rewrite everything with TypeScript
- Fix tons of shit with the aid of types
- Fix #32
- Fix #31
- Fix #23 ?
- Upgrade dependencies
- Fix the problem when a hole spans multiple lines (which arose from fixing #29)
- Upgrade lodash to v4.12
- Fix #29
- Fix hole parsing. Bangs '!' and curly brackets '}' are allowed inside a hole now
- Default to trim spaces of an expression in a hole when giving (This is not the case in Agda 2.5.1)
- Better undo/redo
- Add a tiny spinner for time-consuming commands
- Case splitting in lambda expressions!
- Handles Emacs command 'agda2-maybe-goto'
- Fix library loading for the new library management system after Agda 2.5.0
- Fix goal components (boundary/content/index) positioning
- Make the maximum number of rows displayed in the panel adjustable
- Add a new command "agda-mode:solve-constraints"
- Add a new command "agda-mode:info"
- Fix #27
- Search for Agda executable automatically, no need to fill this manually
- Allow users to specify Agda program name
- Allow users to specify Agda program arguments
- Allow users to specify compile backend
- Fix #12 and #24
- Fix #14
- Fix view: hide panel header when not in use
- Fix #12
- Update dependencies
- Fix EOF error when refining a empty goal
- Fix message location parsing error
- Fix file path related problems on Windows
- Fix message parsing
- Fix message location jumps
- Better error message
- Message locations are now clickable
- Make Input Method optional, enable or disable it in the settings
- Fix #22
- Input method:
- Candidate symbols
- Deactivate and left the text-buffer as-is when a user types
return
('enter')
- Fix #21
- Better type info presentation
- Fix #20
- Now we can invoke input method and type unicode symbols in the input box
- Fix goal parsing
- Fix when
ctrl-c ctrl-w
failed to query current goal - Jump to a goal by clicking on it's index
- Postpone package activation until
agda-mode:load
for better editor startup time
- View System rewritten with
Vue
, to prevent memory leaks inv0.3.3
- Input method: key suggestions now are clickable buttons.
- Supports command
Ctrl-c Ctrl-w
why in scope. - Fix when sometimes input box won't show.
- Now we can select and copy texts in the panel.
- Better input method suggestion looking.
- Supports 3 different levels of normalization (simple, none, full). (#17)
- Nothing big really, just a new number.
- Enable unsolvedmeta and terminationproblem highlight. (#7)
- Use colours given by user installed syntax.
- Fixed #18