[isabelle-dev] unable to start Isabelle/jEdit due to error in unused session

Makarius makarius at sketis.net
Thu May 18 10:34:43 CEST 2017


On 18/05/17 09:03, Christian Sternagel wrote:
> 
> I was just about to have a look at the latest and greatest Isabelle (
> f35abc25d7b1 ) when I noticed the following behavior.
> 
> I started with
> 
>   isabelle jedit -bf
> 
> and then tried
> 
>   isabelle jedit -l HOL
> 
> but got an error message about missing files (see PS for details).
> 
> Now, these missing files are only referenced in IsaFoR's ROOT file (and
> the reason for the error is that IsaFoR is still running on
> Isabelle2006-1), which is read since IsaFoR is registered as an Isabelle
> component in my "etc/settings"

See
http://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.de/msg07321.html

Quote:

In current Isabelle/6acb28e5ba41 it is also possible to use something
like "isabelle jedit -R -l MY_SESSION" to restrict the theory name space
to the requirements of MY_SESSION.


	Makarius



More information about the isabelle-dev mailing list