is there already an example of a working proof environment
available? Obviously the classes (TProof, ...) are already
implemented (version 2.21/08 on Linux), but it seems difficult
to me to create such an environment without a working example.
Best Regards,
Horst
-- ----------------------------------------------------------------- Dr. Horst Goeringer email: H.Goeringer@gsi.de GSI Computing Center Tel: +49-6159-71-2553 Planckstr. 1 Fax: +49-6159-71-2986 D-64291 Darmstadt, Germany -----------------------------------------------------------------