[developers] New version of pet

[Bernd Kiefer]

Hi all,

after doing an incomplete commit last friday, which lead to compile
errors (sorry for that), i've put up a new version which now contains
the long requested `:+' syntax in flop and a slightly streamlined
version of cheap, where the switch for quick check computation code has
been removed. Code for quick check computation is now permanently in
without affecting the efficiency of normal operation.

I'd be very happy if the people using pet on a regular basis could try
the new versions and report eventual problems/errors.

By the way, the characterization bug that was reported lately should
be gone too, which i hope you can also verify.

Cheers,

        Bernd

-- 
----------------------------------------------------------------------
Bernd Kiefer       DFKI GmbH, Stuhlsatzenhausweg, D-66123 Saarbruecken
kiefer at dfki.de     +49-681/302-5301 (phone)     +49-681/3025338  (fax)
----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
Trippstadter Strasse 122, D-67663 Kaiserslautern, Germany
Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vor-
                    sitzender), Dr. Walter Olthoff
Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes
Amtsgericht Kaiserslautern, HRB 2313