wenzelm [Fri, 04 Mar 2022 22:50:58 +0100] rev 75213
tuned signature: more robust operation;
wenzelm [Fri, 04 Mar 2022 21:47:57 +0100] rev 75212
clarified order;
wenzelm [Fri, 04 Mar 2022 11:44:05 +0100] rev 75211
proper antiquotations (amending ff784d5a5bfb);
wenzelm [Thu, 03 Mar 2022 20:13:43 +0100] rev 75210
clarified signature: file operations take standard_path as in Isabelle/ML/Scala;
wenzelm [Thu, 03 Mar 2022 20:04:27 +0100] rev 75209
provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol;
wenzelm [Thu, 03 Mar 2022 19:51:00 +0100] rev 75208
proper init of non-existing file;
wenzelm [Thu, 03 Mar 2022 19:50:41 +0100] rev 75207
proper function call;
wenzelm [Thu, 03 Mar 2022 17:30:43 +0100] rev 75206
clarified signature;
wenzelm [Thu, 03 Mar 2022 17:21:57 +0100] rev 75205
tuned;
wenzelm [Thu, 03 Mar 2022 17:15:30 +0100] rev 75204
tuned, based on suggestions by IntelliJ IDEA;
wenzelm [Thu, 03 Mar 2022 17:13:24 +0100] rev 75203
tuned;
wenzelm [Thu, 03 Mar 2022 17:11:43 +0100] rev 75202
clarified signature;
wenzelm [Thu, 03 Mar 2022 16:46:05 +0100] rev 75201
clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);
wenzelm [Thu, 03 Mar 2022 16:18:27 +0100] rev 75200
misc tuning, based on suggestions by IntelliJ IDEA;
wenzelm [Thu, 03 Mar 2022 16:05:02 +0100] rev 75199
clarified signature;
wenzelm [Thu, 03 Mar 2022 15:47:54 +0100] rev 75198
tuned signature;
wenzelm [Thu, 03 Mar 2022 15:39:51 +0100] rev 75197
clarified signature;
clarified data structures;
wenzelm [Thu, 03 Mar 2022 15:12:38 +0100] rev 75196
tuned imports;
wenzelm [Thu, 03 Mar 2022 13:08:25 +0100] rev 75195
clarified signature;
wenzelm [Thu, 03 Mar 2022 12:40:37 +0100] rev 75194
clarified signature;
wenzelm [Thu, 03 Mar 2022 12:20:27 +0100] rev 75193
tuned signature;
wenzelm [Thu, 03 Mar 2022 12:08:49 +0100] rev 75192
misc tuning, based on suggestions by IntelliJ IDEA;
wenzelm [Wed, 02 Mar 2022 22:33:49 +0100] rev 75191
clarified modules;
wenzelm [Wed, 02 Mar 2022 21:53:17 +0100] rev 75190
support for file-system operations;
wenzelm [Wed, 02 Mar 2022 21:14:09 +0100] rev 75189
tuned signature;
wenzelm [Wed, 02 Mar 2022 20:37:46 +0100] rev 75188
follow standard Isabelle license --- no longer published on market place;
wenzelm [Wed, 02 Mar 2022 20:35:32 +0100] rev 75187
tuned README;
wenzelm [Wed, 02 Mar 2022 20:32:16 +0100] rev 75186
disregard public marketplace;
wenzelm [Wed, 02 Mar 2022 16:48:42 +0100] rev 75185
tuned imports;
wenzelm [Wed, 02 Mar 2022 16:46:16 +0100] rev 75184
more robust;
wenzelm [Wed, 02 Mar 2022 16:08:17 +0100] rev 75183
merged
wenzelm [Wed, 02 Mar 2022 16:08:12 +0100] rev 75182
tuned message;
wenzelm [Wed, 02 Mar 2022 16:06:37 +0100] rev 75181
clarified module;
wenzelm [Wed, 02 Mar 2022 15:46:08 +0100] rev 75180
tuned comments;
Fabian Huch <huch@in.tum.de> [Wed, 02 Mar 2022 15:57:04 +0100] rev 75179
added documentation for new VSCode modules;
wenzelm [Wed, 02 Mar 2022 15:28:02 +0100] rev 75178
proper monospace font for terminal;
wenzelm [Wed, 02 Mar 2022 15:08:49 +0100] rev 75177
merged
wenzelm [Wed, 02 Mar 2022 15:06:09 +0100] rev 75176
tuned;
wenzelm [Wed, 02 Mar 2022 15:04:59 +0100] rev 75175
support system path representations (as in Isabelle/Java/Scala);
wenzelm [Wed, 02 Mar 2022 12:29:57 +0100] rev 75174
auto-update;
wenzelm [Wed, 02 Mar 2022 12:28:46 +0100] rev 75173
more robust;
wenzelm [Mon, 28 Feb 2022 14:53:52 +0100] rev 75172
clarified modules;
wenzelm [Mon, 28 Feb 2022 14:29:23 +0100] rev 75171
clarified rendering;
wenzelm [Mon, 28 Feb 2022 14:26:44 +0100] rev 75170
prefer hardwired locale;
wenzelm [Mon, 28 Feb 2022 14:24:39 +0100] rev 75169
more aggressive activation;
paulson <lp15@cam.ac.uk> [Tue, 01 Mar 2022 15:05:27 +0000] rev 75168
Added some theorems (from Wetzel)
wenzelm [Mon, 28 Feb 2022 13:10:22 +0100] rev 75167
tuned;
wenzelm [Mon, 28 Feb 2022 13:02:40 +0100] rev 75166
tuned;