[isabelle-dev] NEWS: more support for remote files

Makarius 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 mailing list