Re: [isabelle] Plugin error with Isabelle-2016



Hi Lars,

Thanks for the reply.  I'm running Isabelle on my university machine,
which I believe means that I'm running Isabelle over an NFS, yes.

Thanks,
Dominic

On 25 July 2016 at 08:57, Lars Hupel <hupel at in.tum.de> wrote:
> Hi Dominic,
>
> while I don't know the exact cause of the symptoms you're describing, it
> sounds like you have a bad Isabelle installation.
>
>> /auto/homes/dpm36/LocalInstalls/Isabelle2016/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar:
>> Cannot start: java.lang.NoClassDefFoundError: scala/Function0
>> Try updating to a newer version of the plugin.
>
> This is the absence of a definition from the Scala library. This could
> either mean that the JAR file is corrupted or missing. By chance, are
> you running this from an NFS?
>
>> What is happening to an Isabelle .thy file when the failure above
>> occurs to cause symbols to stop rendering, and how do I fix a file to
>> get all my symbols back without needing to keep copying-and-pasting
>> text into fresh files?
>
> This usually happens when one copy-pastes something from outside into
> Isabelle/jEdit. For me it works after pressing F5 to reload the file.
> But the absence of rendering definitely should not happen when you load
> a file into the editor.
>
> Cheers
> Lars




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