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

Makarius makarius at sketis.net
Fri May 2 14:47:56 CEST 2014

On Thu, 10 Apr 2014, Makarius wrote:

> "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.

After some further studies of the jEdit sources, my conclusion is that 
http/https buffers are meant to remain read-only.  So this is really just 
for browsing of Isabelle sources, using Isabelle/jEdit as somewhat special 
web browser.


More information about the isabelle-dev mailing list