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