This repository has been archived by the owner on Feb 26, 2021. It is now read-only.
v0.4.9
- 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