| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Mon, 16 Nov 2020 23:27:43 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Thu, 13 Dec 2018 15:21:34 +0100 | wenzelm | clarified modules and signature; | file | diff | annotate |
| Fri, 16 Mar 2018 22:50:56 +0100 | wenzelm | prefer typed UUID; | file | diff | annotate |
| Thu, 02 Nov 2017 11:26:58 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Nov 2017 16:43:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 31 Oct 2017 18:45:33 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 31 Oct 2017 17:56:28 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 29 Sep 2017 22:12:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 06 Aug 2017 17:38:54 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 15 Mar 2017 10:31:42 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 13 Mar 2017 15:59:00 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 10 Mar 2017 18:12:52 +0100 | wenzelm | tuned colors; | file | diff | annotate |
| Tue, 07 Mar 2017 13:55:49 +0100 | wenzelm | added admin tool "isabelle build_vscode"; | file | diff | annotate |
| Wed, 11 Jan 2017 14:48:07 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 05 Jan 2017 22:37:52 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 02 Jan 2017 10:59:46 +0100 | wenzelm | more syntax; | file | diff | annotate |
| Mon, 02 Jan 2017 10:22:59 +0100 | wenzelm | more syntax; | file | diff | annotate |
| Mon, 02 Jan 2017 09:41:25 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 02 Jan 2017 09:38:06 +0100 | wenzelm | more keywords; | file | diff | annotate |
| Mon, 02 Jan 2017 09:27:33 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 01 Jan 2017 23:30:18 +0100 | wenzelm | generate uuid; | file | diff | annotate |
| Sun, 01 Jan 2017 23:19:34 +0100 | wenzelm | generate static TextMate grammar for VSCode editor; | file | diff | annotate |