version 0.8b

cgnieder released this 23 May 10:26

· 105 commits to master since this release

Bugfix release.

option goal-print is now usable as described.
adapted default template to use \printgoal.
added further examples.

Assets 2