| Sun, 22 Jul 2012 00:00:22 +0200 | wenzelm | determine source dependencies, relatively to preloaded theories; | file | diff | annotate |
| Fri, 20 Jul 2012 22:29:25 +0200 | wenzelm | more explicit java.io.{File => JFile}; | file | diff | annotate |
| Wed, 29 Feb 2012 23:09:06 +0100 | wenzelm | clarified module Thy_Load; | file | diff | annotate |
| 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 |