Re: [isabelle] New error messages in Isabelle 2013

On Fri, 1 Feb 2013, Gottfried Barrow wrote:

Microsoft gets rid of the taskbar and start button in Windows 8, and someone produces a utility to put it all back.

Did you try Isabelle2013-RC2 on Windows8 already?  Or anyone else?

Incidently, my new Sony Vaio (normally used with Xubuntu) also has Windows 8, and I actually like the way Microsoft disposed all this 3D eye candy. KDE for example looks now quite old-fashioned compared to that.

I had to do some fine-tuning to make Isabelle work smoothly on Windows8. So the question above is not just rethoric.


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