[developers] [pet] New version of pet

[Stephan Oepen]

hi bernd,

> [...] i've put up a new version which now contains the long requested
> `:+' syntax in flop [...]
> 
> I'd be very happy if the people using pet on a regular basis could try
> the new versions and report eventual problems/errors.

thanks for accomodating the `:+' syntax extension.  i can confirm that
i can now successfully flop grammars that make use of type addendums.
i was specifically working on SRG, and it turned out i had to increase
the PET compile-time constant CONJ_TABLE_SIZE.  i suspect other Matrix-
derived grammars may need that too, as there are some definitions with
large numbers of conjunctions.  i just checked that patch into SVN.

i also tried these latest binaries on the ERG, and the behavior appears
unchanged from earlier versions (which is good, obviously :-).  hence i
have checked updated binaries into the LOGON tree (for those using it).

                                                       all best  -  oe

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++ Universitetet i Oslo (IFI); Boks 1080 Blindern; 0316 Oslo; (+47) 2284 0125
+++     CSLI Stanford; Ventura Hall; Stanford, CA 94305; (+1 650) 723 0515
+++       --- oe at ifi.uio.no; oe at csli.stanford.edu; stephan at oepen.net ---
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++