Re: [isabelle] Trouble loading theories on windows
On Wed, Aug 21, 2013 at 12:09 AM, Christian Sternagel <c.sternagel at gmail.com
> 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