Re: [isabelle] Trouble loading theories on windows

On Wed, Aug 21, 2013 at 12:09 AM, Christian Sternagel <c.sternagel at
> wrote:

> Dear Jason,
> if I do what you describe (on linux though) I get the same error until I
> *save* the new theory file (which causes jEdit to actually process the
> imports). (The same thing does not occur when just importing "Main", I
> guess the difference is that "Main" is part of the default logic image
> "HOL", but "Primes" isn't.)

I hadn't thought of that. I'll will try that tonight (I'm not near that
computer at the moment).

Thanks for the suggestion!


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