Re: [isabelle] New error messages in Isabelle 2013
On 2/1/2013 1:19 PM, Makarius wrote:
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?
No, I don't have Windows 8, and won't be buying a new computer any time
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
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