[isabelle] Trouble loading theories on windows


I installed Isabelle 2013 for windows (windows 7). If I put this into jEdit:
theory Scratch
imports Complex_Main "~~/src/HOL/Number_Theory/Primes"
It gives me this error: Bad theory (file

If I copy the path from that error message and try to use it with some
other program it works just fine.

I've also tried this with the isabelle eclipse IDE. I get the same error
but a slightly different formatting for the path.

Any ideas how to fix this?


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