| Thu, 03 Apr 2014 20:53:35 +0200 | wenzelm | more abstract Prover.Syntax, as proposed by Carst Tankink; | file | diff | annotate |
| Thu, 03 Apr 2014 20:17:12 +0200 | wenzelm | tuned signature (see also 0850d43cb355); | file | diff | annotate |
| 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 |