| Sun, 13 Dec 2020 22:43:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 13 Dec 2020 22:30:30 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 13 Dec 2020 19:04:46 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 13 Dec 2020 17:48:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 13 Dec 2020 16:35:37 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Thu, 10 Dec 2020 17:01:59 +0100 | wenzelm | clarified types; | file | diff | annotate |
| Thu, 10 Dec 2020 16:35:56 +0100 | wenzelm | clarified signature: more specific types; | file | diff | annotate |
| Wed, 09 Dec 2020 20:10:10 +0100 | wenzelm | added "isabelle log": print messages from build database; | file | diff | annotate |
| Wed, 09 Dec 2020 15:14:24 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 07 Dec 2020 16:24:39 +0100 | wenzelm | clarified markup: support more completion, e.g. within ROOTS; | file | diff | annotate |
| Thu, 26 Nov 2020 17:32:43 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 26 Nov 2020 17:01:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 23 Nov 2020 15:14:58 +0100 | wenzelm | support for PIDE markup in batch build (inactive due to pide_reports=false); | file | diff | annotate |
| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |