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:

http://users.cecs.anu.edu.au/~rpg/polyml-4.1.4.tar.gz
http://users.cecs.anu.edu.au/~rpg/settings

The file "settings" has to live in this directory:
Isabelle2005/etc/

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

best wishes,
raj

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

-- 
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.edu.au
Web:   http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C




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