favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle