| Wed, 02 Dec 2020 15:01:37 +0100 | wenzelm | clarified signature --- more explicit types; | file | diff | annotate |
| Mon, 25 Nov 2019 13:28:31 +0100 | wenzelm | support for output messages; | file | diff | annotate |
| Sat, 13 Apr 2019 15:13:43 +0200 | wenzelm | tuned signature: more operations; | file | diff | annotate |
| Tue, 05 Mar 2019 16:46:42 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 03 Mar 2019 20:27:42 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 03 Mar 2019 20:13:25 +0100 | wenzelm | clarified signature -- allow more re-use; | file | diff | annotate |
| Wed, 29 Aug 2018 18:53:58 +0200 | wenzelm | support Thy_Element in Scala, following ML version; | file | diff | annotate |
| Wed, 29 Aug 2018 12:21:59 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 20 Dec 2016 08:53:26 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 11 Aug 2016 15:32:53 +0200 | wenzelm | suppress ASCII art; | file | diff | annotate |
| Fri, 05 Aug 2016 16:30:53 +0200 | wenzelm | Sidekick parser for isabelle-ml and sml mode; | file | diff | annotate |
| Thu, 04 Aug 2016 21:21:31 +0200 | wenzelm | clarified handling of plain theory commands; | file | diff | annotate |
| Thu, 04 Aug 2016 20:55:36 +0200 | wenzelm | support for context block structure in Sidekick; | file | diff | annotate |
| Thu, 04 Aug 2016 11:32:21 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 04 Aug 2016 11:17:11 +0200 | wenzelm | clarified modules; | file | diff | annotate |