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



I also copied preferences, but the crash behaviour can be triggered by symbols. Removing symbols while keeping preferences and everything works fine

Peter


-------- Originalnachricht --------
Betreff: Re: [isabelle] RC1: etc/symbols file from 2015 crashes jedit tool on startup
Von: Lars Hupel
An: Peter Lammich ,isabelle-users
Cc:


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.

Cheers
Lars


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