You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ndtm-situations are now marked at the state with a small dice symbol
Fixed:
various characters reserved in latex markup are now escaped before being displayed (previously resulted in nothing being displayed at all for those characters)
The application should be able to launch on any major desktop operating system (Linux, Windows, macOS) with a Java-Runtime in version 8 or higher installed.
This is the first public release of the the software. Normal users should download the *.jar-file. The application should be able to launch on any major desktop operating system (Linux, Windows, macOS) with a Java-Runtime in version 8 or higher installed.