Thu, 03 Mar 2022 13:08:25 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
Thu, 03 Mar 2022 12:40:37 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
Thu, 03 Mar 2022 12:20:27 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
Thu, 03 Mar 2022 12:08:49 +0100 |
wenzelm |
misc tuning, based on suggestions by IntelliJ IDEA;
|
changeset |
files
|
Wed, 02 Mar 2022 22:33:49 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
Wed, 02 Mar 2022 21:53:17 +0100 |
wenzelm |
support for file-system operations;
|
changeset |
files
|
Wed, 02 Mar 2022 21:14:09 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
Wed, 02 Mar 2022 20:37:46 +0100 |
wenzelm |
follow standard Isabelle license --- no longer published on market place;
|
changeset |
files
|
Wed, 02 Mar 2022 20:35:32 +0100 |
wenzelm |
tuned README;
|
changeset |
files
|
Wed, 02 Mar 2022 20:32:16 +0100 |
wenzelm |
disregard public marketplace;
|
changeset |
files
|
Wed, 02 Mar 2022 16:48:42 +0100 |
wenzelm |
tuned imports;
|
changeset |
files
|
Wed, 02 Mar 2022 16:46:16 +0100 |
wenzelm |
more robust;
|
changeset |
files
|
Wed, 02 Mar 2022 16:08:17 +0100 |
wenzelm |
merged
|
changeset |
files
|
Wed, 02 Mar 2022 16:08:12 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
Wed, 02 Mar 2022 16:06:37 +0100 |
wenzelm |
clarified module;
|
changeset |
files
|
Wed, 02 Mar 2022 15:46:08 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
Wed, 02 Mar 2022 15:57:04 +0100 |
Fabian Huch |
added documentation for new VSCode modules;
|
changeset |
files
|
Wed, 02 Mar 2022 15:28:02 +0100 |
wenzelm |
proper monospace font for terminal;
|
changeset |
files
|
Wed, 02 Mar 2022 15:08:49 +0100 |
wenzelm |
merged
|
changeset |
files
|
Wed, 02 Mar 2022 15:06:09 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 02 Mar 2022 15:04:59 +0100 |
wenzelm |
support system path representations (as in Isabelle/Java/Scala);
|
changeset |
files
|
Wed, 02 Mar 2022 12:29:57 +0100 |
wenzelm |
auto-update;
|
changeset |
files
|
Wed, 02 Mar 2022 12:28:46 +0100 |
wenzelm |
more robust;
|
changeset |
files
|
Mon, 28 Feb 2022 14:53:52 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
Mon, 28 Feb 2022 14:29:23 +0100 |
wenzelm |
clarified rendering;
|
changeset |
files
|
Mon, 28 Feb 2022 14:26:44 +0100 |
wenzelm |
prefer hardwired locale;
|
changeset |
files
|
Mon, 28 Feb 2022 14:24:39 +0100 |
wenzelm |
more aggressive activation;
|
changeset |
files
|
Tue, 01 Mar 2022 15:05:27 +0000 |
paulson |
Added some theorems (from Wetzel)
|
changeset |
files
|