0.5.0.0
Bugfixes
- Fix bug where some pretty-printed terms contained extra elaborated
terms inserted by @byorgey (#1497)
New Features
Language
New scenarios
New achievements
- Grant
RobotIntoWater
achievement by @byorgey (#1504) - Achievement for pointless swapping by @kostmo (#1588)
UI enhancements
- Support Markdown in achievement descriptions by @kostmo (#1508)
- Render map preview on scenario selection screen by @kostmo (#1515)
- Robot activity counts in F2 menu by @kostmo (#1484)
- Show robot IDs in F2 menu by @kostmo (#1482)
- Print REPL errors inline and get rid of error popup by @byorgey (#1487)
- Improvements to scrolling by @byorgey (#1481)