[pet] Problems with PET + -mrs=new

Torsten Marek torsten.marek at dfki.de
Tue Apr 1 11:57:19 CEST 2008

Previous message: [pet] Problems with PET + -mrs=new
Next message: [pet] [developers] Punctuation and "-default-les" type mapping in PET/ERG
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Yi,

now I have the CVS version of ERG, which works fine  with -mrs=new


best regards,


Torsten

Previous message: [pet] Problems with PET + -mrs=new
Next message: [pet] [developers] Punctuation and "-default-les" type mapping in PET/ERG
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pet mailing list