History log of /seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/isabelle_export.scala
Revision Date Author Comments
# 47bbb1af 30-Jan-2019 wenzelm <none@none>

clarified modules;
# 79ff762a 30-Jan-2019 wenzelm <none@none>

tuned;
# 791d514b 30-Jan-2019 wenzelm <none@none>

tuned signature;
# 1149da22 30-Jan-2019 wenzelm <none@none>

clarified modules;
# e82abcf5 13-Jan-2019 wenzelm <none@none>

added action "isabelle-export-browser";
# 23f56129 12-Jan-2019 wenzelm <none@none>

avoid access to ".NAME.marks" exports;
# 6701ca79 12-Jan-2019 wenzelm <none@none>

proper _getFile method -- required to open files from browser;
# 408a5a5d 12-Jan-2019 wenzelm <none@none>

more robust: no assumptions about GUI thread or document model;
# 1c4190db 12-Jan-2019 wenzelm <none@none>

more robust: jEdit may produce names with trailing "/";
# a8623471 11-Jan-2019 wenzelm <none@none>

access Isabelle theory exports via virtual file-system;