Proofs with Empty Premises

What's Changed

• Bug fix: Now can create proofs with empty initial premises.
• up to date by @Girjoaba in #57
• Allow for proofs without premises by @TheEpicBlock in #59
• Update README.md by @Girjoaba in #60

Shout out to the first new contributor!

• @TheEpicBlock made their first contribution in #59

Full Changelog: v1.0.1...1.0.3

Bug Fix: Multiple Arguments in Predicate

What's Changed

• Fixed a bug where proofs would be invalid if a predicate would contain multiple arguments.
• Patch 1.0.1 by @Girjoaba in #56

Installation Instructions

• Make sure you have jdk 17 installed.
• Download the Eunomia.jar file and run the application.
  Note: Your operating system might not trust the unverified author (aka me), in that case you need to bypass the warning.

Full Changelog: v1.0.0...v1.0.2

Release Quick Patch

What's Changed

• Fixed an issue where the ".eun" file extension was not added when saving, unless the user would write it explicitly.
• Improved the description of the keyboard shortcuts.
• Improved the error message related to an incomplete proof.
• Patch 1.0.1 by @Girjoaba in #56

Installation Instructions

• Make sure you have jdk 17 installed.
• Download the Eunomia.jar file and run the application.
  Note: Your operating system might not trust the unverified author (aka me), in that case you need to bypass the warning.

Full Changelog: v1.0.0...v1.0.1

Full Release

Installation Instructions

• Make sure you have jdk 17 installed.
• Download the Eunomia.jar file and run the application.
  Note: Your operating system might not trust the unverified author (aka me), in that case you need to bypass the warning.

What's Changed

• Added the design document Eunomia Everything You Need to Know before Coding in the Documentation folder
• User Acceptance Tests passed
• Minor Improvements
• Work on the latest version of Main by @Girjoaba in #54
• Beta patch/02 by @Girjoaba in #55

Full Changelog: v0.2-beta...v1.0.0

Full Release Very Soon!

Before Running

Make sure you have jdk 17 installed.
This should be the only dependency required before running the .jar file.

What's Changed

• New Feature: Practice Proofs added
• Fixed bugs: boxed constants can be defined, subproof generation and many more
• UI improvements: better keyboard shortcuts, display adjusted for more resolutions, shortcut for quick check
• Deployment by @Girjoaba in #46
• Beta 02 by @Girjoaba in #53

Full Changelog: v0.1-beta...v0.2-beta

Eunomia

The first ever release! The product should be usable but it was decided to be labelled as BETA, as I am waiting for use acceptance tests.

What's Changed

• The first release was created
• Text-Editor with automatically generated Fitch Proof Bars for good usability
• Error Panel where all the errors are displayed
• User Manual Added
• Proof Tutorials Added

New Contributors

• @Girjoaba made their first contribution in #14
• @dependabot made their first contribution in #37

Full Changelog: https://github.com/Girjoaba/Eunomia/commits/v0.1-beta