[isabelle-dev] NEWS

Thu, 8 Nov 2007 22:22:11 +0100 (CET) 

* System: polyml-platform script now identifies x86_64-linux with 
  x86-linux, which is usually more efficient.  INCOMPATIBILITY, requires 
  manual settings if x86_64-linux is really intended (e.g. for > 2GB heap 
  or > 64MB stack).

Reply via email to