Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Merge changes from 2017 made during finalisation of PhD thesis #652
This merges all changes of my personal
The next step will be to update the online documentation, especially installation instructions.
The following contains too many changes to summarise them all, but the most important are: