src/Tools/jEdit/src/jedit_thy_load.scala
Mon, 19 Sep 2011 23:34:22 +0200 wenzelm fixed headers;
Sun, 18 Sep 2011 13:47:12 +0200 wenzelm explicit check_file wrt. jEdit VFS, to avoid slightly confusing empty buffer after IO error;
Sat, 17 Sep 2011 17:55:39 +0200 wenzelm sane default for class Thy_Load;
Thu, 01 Sep 2011 13:34:45 +0200 wenzelm more abstract Document.Node.Name;
Tue, 30 Aug 2011 15:43:27 +0200 wenzelm some support for hyperlinks between different buffers;
Tue, 30 Aug 2011 11:43:47 +0200 wenzelm separate module for jEdit primitives for loading theory files;
less more (0) tip