Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle/{jEdit,Eclipse} problem with importin...

Email Gateway (Aug 19 2022 at 10:55):

From: René Neumann <rene.neumann@in.tum.de>
Hi,

I have the same error in Isabelle/jEdit and Isabelle/Eclipse (therefore,
I think, it lies in the layer beneath):

Just typing

theory Scratch
imports Main "~~/src/HOL/Library/RBT"
begin

results in "Bad theory file (file
"file:/home/necoro/isabelle/Isabelle2013/src/HOL/Library/RBT.thy")

If I (somehow) manage to trick jEdit into a reload (don't know how to do
it with Eclipse), it eventually is able to load it.

• René
  smime.p7s

Last updated: Apr 26 2024 at 12:28 UTC