[isabelle-dev] NEWS: more support for remote files
makarius at sketis.net
Thu Apr 10 15:50:59 CEST 2014
* More support for remote files (e.g. http) using standard Java
networking operations instead of jEdit virtual file-systems.
This refers to Isabelle/aed94b61f65b. Both theories and aux. files should
now work via http, but the latter need to be retrieved manually, e.g. by
C-hover-click on the file name.
Here is an example:
isabelle jedit http://isabelle.in.tum.de/repos/isabelle/raw-file/aed94b61f65b/src/HOL/Hahn_Banach/Hahn_Banach.thy
That theory happens to be from the same time when the question first
arose: "Wouldn't it be nice if Isabelle could open theories directly from
a web site?"
15 years later that works (with some limitations). E.g. the result is
read-only, and I still don't know how to change that state by some user
action in jEdit.
More information about the isabelle-dev