[isabelle-dev] Isabelle_10-Sep-2013

C. Diekmann diekmann at in.tum.de
Thu Sep 12 19:51:09 CEST 2013


> What is your OS platform and Swing look-and-feel?  On Java/Swing this is the
> evil parameter that can change everything -- it determines much more than
> just "look" and "feel".

Default installation
  Ubuntu 12.04.3 LTS
  x86_64
  Using bulky 64bit version of Poly/ML
  Swing look & feel: Nimbus (the default selection)



More information about the isabelle-dev mailing list