Attached patch adds quick-n-dirty PDF exporter using iText. Dependency is optional, so iText does not have to be included to start GROOVE, but the export will obviously fail if that is the case. Before export a dialog is shown with the option to use font outlines. If disabled, PDF uses embedded fonts which makes it smaller, but this is often different form the screen and sometimes glyphs are missing (like forall and exists). Enabling the option makes the PDF bigger, but it matches the screen exactly.
The iText libraries can be found here:
as long as they are on the classpath it'll work. Its AGPL licensed, so it probably can't be included by default.