On 18/05/17 11:13, Christian Sternagel wrote:
>
> I even read the email you are referring to, but apparently this was too
> long ago ;)
>
> Anyway, what you suggest does in principle work (and shows that all the
> required functionality is already there). With
>
> isabelle jedit -R -l HOL
>
>
Thanks Lars!
I did not yet try your suggestion (and I am somewhat reluctant to
install "3rd party" software for something I would consider basic
functionality; but anyway, it's good to know that there is an alternative).
Thanks Makarius!
I even read the email you are referring to, but apparently
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 messa
Dear Chris,
> 2) or there was some easy way (e.g., a flag) to exclude specific
> Isabelle components / sessions / ROOT files from checks (without having
> to edit "etc/settings").
I believe I have a solution for this problem.
For a while now, I've been using a custom Isabelle "launcher" based on
Dear list,
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 miss