[ProofPower] Empty schema paragraphs

2011-07-07 Thread Phil Clayton
A patch that adds support for empty schema paragraphs is attached. This allows schema definitions and axiomatic descriptions to have an empty declaration. (The present support for empty schemas does not extend to paragraphs.) An axiomatic description with no declaration has the same effect a

[ProofPower] Xpp on Fedora 14 and later

2011-07-07 Thread Phil Clayton
On Fedora 14 and later, Xpp always produces a warning dialog on start up saying it can't find the bitmap images for the templates. (And the images don't appear in the templates window.) This appears to be due to the following: http://bugs.openmotif.org/long_list.cgi?buglist=1539 I haven't loo