forked from liamoc/holbert
-
Notifications
You must be signed in to change notification settings - Fork 0
/
CHANGELOG
32 lines (27 loc) · 1.13 KB
/
CHANGELOG
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
* In progress
- New feature: mix-fix syntax declarations
- New feature: Multi-file documents
* Version 0.4
- New feature: Goal display on RHS
- Improvement: Only displays applicable rules
- New feature: Night mode
- New feature: Prose style proofs
- New feature: Apply a rule as an elimination rule
- New feature: Apply an equality rule as a rewrite
- Improvement: Holbert documents are now printable
* Version 0.3.1
- Improvement: Banished `String` representations to improve performance
- Improvement: UI Performance greatly improved by not updating model on every keystroke.
* Version 0.3
- New feature: Can now instantiate metavariables in proofs
- Improvement: Metavariables are represented numerically for efficiency.
- Bug fix: Incorrect version number in HTML title
* Version 0.2
- New feature: Tooltips are now on all icons
- New feature: Can now download documents as a JSON blob
- New feature: Can now load documents from a JSON blob via XHR
- Change: Now loads index.holbert on startup
- Bug fix: Does not display trash can on the base conclusion of a rule.
- Bug fix: Fixed font sizes for heading editors
* Version 0.1
Pre-release version.