Skip to content

Tags: DEIS-Tools/H-Uppaal

Tags

1.4.0

Toggle 1.4.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #59 from DEIS-Tools/feature/preloader

Feature: add a splashscreen/preloader to indicate loading progress

1.0.6

Toggle 1.0.6's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #49 from sillydan1/ci-for-gnu-osx-and-win

Builds through CI for GNU/Linux, MacOSX and Windows

1.0.5

Toggle 1.0.5's commit message
Add feature to undo/redo balance location identifiers

1.0.4

Toggle 1.0.4's commit message
Replace alt keybind with shift keybind to better accommodate Linux users

1.0.3c

Toggle 1.0.3c's commit message
Fix a bug with saving the project when ran from a compiled .jar

1.0.3b

Toggle 1.0.3b's commit message
Merge remote-tracking branch 'origin/master'

1.0.3

Toggle 1.0.3's commit message
Fix query pane such that the run all query button behaves like you wo…

…uld expect

1.0.2

Toggle 1.0.2's commit message
Merge remote-tracking branch 'origin/master'

1.0.1

Toggle 1.0.1's commit message
Update README.md