[isabelle-dev] NEWS

Makarius makarius at sketis.net
Thu Nov 8 22:22:11 CET 2007


* 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).



More information about the isabelle-dev mailing list