Waterproof 0.6.1

No changelog provided (yet).

Waterproof 0.6.0

• Added the activity log
• Fixed that add error messages were not always visible
• Attempt to show some whitespace on goals

Full Changelog: v0.5.9...v0.6.0

Waterproof 0.6 pre release 2

Changes:

• Made goal only the default
• Improved goal whitespace
• Fixed add errors not always showing, moved to bottom of messages
• Add log export button

⚠️ Version is still 0.5.9 since that is only supposed to updated automatically

Waterproof 0.6 pre release

This is a pre-release with initial activity log implementation

⚠️ Version is still 0.5.9 since that is only supposed to updated automatically

Waterproof 0.5.9

bugfix: unfocused goal message was not showing

Waterproof 0.5.8

Changes:

• Add goal panel settings for controlling how much of the goal is visible.
• Fix that sentences ending in '-' or other sub goals selectors where not always recognized and thus could not always be executed.

Waterproof 0.5.7

Changes:

• Fix that some messages where not shown (messages during add operation).
• Disable buttons below code block if no query is entered.

Waterproof 0.5.6

Fix that the unfocused goal message was not shown on rollback.
Fix that if the wplib folder did not exist serapi could fail.

Waterproof 0.5.5

• Adapt tutorial
• Update tactics description
• Latex aliases for symbols
• Fix brackets around code blocks

Waterproof 0.5.4

Fix some problems with spaces messing up the check marks.
Update electron version.
Add path from installer.
Add unfocused goal check