Re: [isabelle] RC1: etc/symbols file from 2015 crashes jedit tool on startup

Hi Peter,

> after copying my personal etc/symbols file to the
> ~/.isabelle/Isabelle2016-RC1/etc/ folder, the command 
> "isabelle jedit" shows the splash-screen, and then freezes, never
> displaying the editor, nor printing more messages to output. The
> splash-screen displays "running startup scripts" when it freezes. 

are you sure you only copied the symbols file and not the preferences
file, too? Judging by the error message, it looks like there is an
invalid "jedit_tooltip_delay" setting there.


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