On 31/01/2019 23:11, Makarius wrote:
> *** Isabelle/jEdit Prover IDE ***
>
> * The jEdit File Browser is more prominent in the default GUI layout of
> Isabelle/jEdit: various virtual file-systems provide access to Isabelle
> resources, notably via "favorites:" (or "Edit Favorites").
There is an old oddity in "Edit Favorites" that I have now addressed here:
changeset: 69779:a2218981a5d6
user: wenzelm
date: Thu Jan 31 22:02:50 2019 +0100
files: src/Tools/jEdit/patches/favorites
description:
more accurate _listFiles -- avoid infinite infinite expansion of e.g.
"$ISABELLE_HOME";
This minor change is not yet active: a future update of the jedit_build
component will include it.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
