| Thu, 12 Oct 2017 11:25:06 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 08 Oct 2017 12:50:18 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 08 Oct 2017 12:36:00 +0200 | wenzelm | proper output of raw ML; | file | diff | annotate |
| Fri, 29 Sep 2017 20:49:42 +0200 | wenzelm | more informative loaded_theories: dependencies and syntax; | file | diff | annotate |
| Thu, 28 Sep 2017 15:11:32 +0200 | wenzelm | session-qualified theory names are mandatory; | file | diff | annotate |
| Fri, 21 Apr 2017 14:09:03 +0200 | wenzelm | eliminated default_qualifier: just a constant; | file | diff | annotate |