Re: [isabelle] Isabelle2014-RC0 available for testing


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.


Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

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

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