[isabelle-dev] jEdit import theories

Christian Sternagel c-sterna at jaist.ac.jp
Tue Mar 20 06:45:14 CET 2012

Hi there,

I am using an environment variable in an import statement like

imports "$VAR/Theory.thy"

in batch-mode this works fine. However, in jEdit I get an error message 
indicating "Missing theory (file ...)" where the path in the error 
message shows that $VAR was used relative to the path of the surrounding 
theory file. $VAR contains something like "~/some-path" and was intended 
as being applied globally.

changeset:   e3a3f161ad70
jedit_build: 20120313



More information about the isabelle-dev mailing list