| Sun, 03 Apr 2016 21:32:57 +0200 | wenzelm | clarified Isabelle tool wrapper: bash, Scala, no perl, no ML; | file | diff | annotate |
| Sun, 20 Dec 2015 13:06:26 +0100 | wenzelm | renamed Pretty.str_of to Pretty.unformatted_string_of to emphasize its meaning; | file | diff | annotate |
| Tue, 10 Nov 2015 22:20:46 +0100 | wenzelm | more thorough check_action, including completion; | file | diff | annotate |
| Tue, 10 Nov 2015 21:52:18 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 10 Nov 2015 20:49:48 +0100 | wenzelm | more thorough check_command, including completion; | file | diff | annotate |
| Tue, 10 Nov 2015 20:10:17 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 10 Nov 2015 19:56:51 +0100 | wenzelm | unused; | file | diff | annotate |
| Tue, 10 Nov 2015 19:50:56 +0100 | wenzelm | ignore pointless/unused options; | file | diff | annotate |
| Sat, 17 Oct 2015 20:27:12 +0200 | wenzelm | clarified Latex.environment; | file | diff | annotate |
| Wed, 25 Mar 2015 11:39:52 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 22 Dec 2014 16:44:24 +0100 | wenzelm | system option "pretty_margin" is superseded by "thy_output_margin"; | file | diff | annotate |
| Wed, 03 Dec 2014 14:04:38 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 03 Dec 2014 11:50:58 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 30 Nov 2014 14:02:48 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 30 Nov 2014 13:15:04 +0100 | wenzelm | tuned signature; | file | diff | annotate |