isabelle: Changelog

wenzelm [Sat, 12 Jan 2019 21:26:35 +0100] rev 69642

avoid access to ".NAME.marks" exports;

wenzelm [Sat, 12 Jan 2019 21:21:35 +0100] rev 69641

proper _getFile method -- required to open files from browser;

wenzelm [Sat, 12 Jan 2019 20:14:05 +0100] rev 69640

more robust: no assumptions about GUI thread or document model;

wenzelm [Sat, 12 Jan 2019 19:53:57 +0100] rev 69639

more robust: jEdit may produce names with trailing "/";

wenzelm [Fri, 11 Jan 2019 22:59:00 +0100] rev 69638

merged

wenzelm [Fri, 11 Jan 2019 22:55:02 +0100] rev 69637

access Isabelle theory exports via virtual file-system;

wenzelm [Fri, 11 Jan 2019 22:35:41 +0100] rev 69636

clarified signature;

wenzelm [Fri, 11 Jan 2019 22:35:04 +0100] rev 69635

clarified output (again);

wenzelm [Fri, 11 Jan 2019 22:34:28 +0100] rev 69634

more operations;

wenzelm [Fri, 11 Jan 2019 16:36:21 +0100] rev 69633

tuned signature;

isabelle