Thu, 03 Apr 2014 14:54:17 +0200 | wenzelm | more general prover operations; | 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 |
Sat, 29 Mar 2014 09:34:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 18 Mar 2014 17:53:40 +0100 | wenzelm | simplified (despite 70898d016538); | file | diff | annotate |
Tue, 18 Mar 2014 17:39:03 +0100 | wenzelm | clarifed module name; | file | diff | annotate | base |