| Thu, 03 Apr 2014 14:54:17 +0200 | wenzelm | more general prover operations; | file | diff | annotate |
| Thu, 03 Apr 2014 13:46:18 +0200 | wenzelm | more general prover operations; | file | diff | annotate |
| Mon, 31 Mar 2014 15:05:24 +0200 | wenzelm | store blob content within document node: aux. files that were once open are made persistent; | file | diff | annotate |
| Sat, 29 Mar 2014 10:49:32 +0100 | wenzelm | propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save); | file | diff | annotate |
| Sat, 29 Mar 2014 10:17:09 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 18 Mar 2014 18:09:31 +0100 | wenzelm | clarified module arrangement; | file | diff | annotate | base |