[isabelle-dev] NEWS: File Browser and Virtual File-systems for Isabelle resources
makarius at sketis.net
Thu Jan 31 23:14:12 CET 2019
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:
date: Thu Jan 31 22:02:50 2019 +0100
more accurate _listFiles -- avoid infinite infinite expansion of e.g.
This minor change is not yet active: a future update of the jedit_build
component will include it.
More information about the isabelle-dev