Re: [isabelle] Isabelle 2005 request

Dear Anonymous reviewer,

Jeremy has suggested that I also put up the polyml directory and a
repaired script which works for Jeremy. So here they are:

The file "settings" has to live in this directory:

For me, the fixed script still causes a segmentation fault. 

best wishes,


Rajeev Gore'             
Professor, Logic and Computation Group, 
Research School of Computer Science
ANU College of Engineering and Computer Science
The Australian National University
Canberra ACT 2601
Tel:   +61-2-61 25 86 03 
Fax:   +61-2-61 25 86 51  
Email: Rajeev.Gore at
ANU CRICOS Provider Number - 00120C

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.