Sat, 28 Nov 2020 23:36:17 +0100 |
wenzelm |
clarified files;
|
file |
diff |
annotate
|
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
|
Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
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
|
Fri, 30 Jun 2017 13:21:47 +0200 |
wenzelm |
more robust: always package;
|
file |
diff |
annotate
|
Fri, 30 Jun 2017 13:19:24 +0200 |
wenzelm |
prefer explicit link;
|
file |
diff |
annotate
|
Thu, 29 Jun 2017 23:05:58 +0200 |
wenzelm |
provide --baseImagesUrl for VSCode extensions marketplace;
|
file |
diff |
annotate
|
Mon, 12 Jun 2017 15:40:40 +0200 |
wenzelm |
dynamic configuration of prettify-symbols-mode, similar to VSCoq;
|
file |
diff |
annotate
|
Tue, 04 Apr 2017 15:05:00 +0200 |
wenzelm |
tuned headers;
|
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
|
Thu, 09 Mar 2017 21:08:41 +0100 |
wenzelm |
more thorough build;
|
file |
diff |
annotate
|
Tue, 07 Mar 2017 13:55:49 +0100 |
wenzelm |
added admin tool "isabelle build_vscode";
|
file |
diff |
annotate
|