Re: [isabelle] Isabelle2014-RC0 available for testing



Hi,

Am Dienstag, den 08.07.2014, 12:46 -0300 schrieb Alfio Martini:
> > And another thing worth noting, although already present in the 2013
> > release: When jumping to a file that is loaded as part of the loaded
> > heap (e.g. Set), there is an error at the theory command: “Cannot update
> > finished theory "Set"”. That makes sense to me, but I don’t plan to
> > update the theory, I just want to navigate it. Currently, this prevents
> > me from using Ctrl-Click on definitions in that file to navigate
> > further.
> 
> 
> I consider this a major drawback of previous Isabelle/jEdit releases.

note that for me, this has always been the case. Maybe there is another
variable influencing this.

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



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