proof

From: Horst Goeringer (H.Goeringer@gsi.de)
Date: Wed May 05 1999 - 11:20:18 MEST

Next message: Damir Buskulic: "Syntax checking"
Previous message: INYAKIN,ALEXANDRE/PPE: "Re: TMapFile segfault"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Fons, Rene,

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
-----------------------------------------------------------------

Next message: Damir Buskulic: "Syntax checking"
Previous message: INYAKIN,ALEXANDRE/PPE: "Re: TMapFile segfault"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Tue Jan 04 2000 - 00:43:32 MET