| Tue, 09 Sep 2025 14:10:57 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Tue, 09 Sep 2025 13:06:54 +0200 |
wenzelm |
more explicit platform prerequisites;
|
changeset |
files
|
| Mon, 08 Sep 2025 23:55:00 +0200 |
wenzelm |
proper platform_context.execute for Windows/MinGW;
|
changeset |
files
|
| Mon, 08 Sep 2025 23:03:31 +0200 |
wenzelm |
clarified signature: more options;
|
changeset |
files
|
| Mon, 08 Sep 2025 22:43:15 +0200 |
wenzelm |
more accurate treatment of Windows/MinGW;
|
changeset |
files
|
| Mon, 08 Sep 2025 21:31:19 +0200 |
wenzelm |
proper platform_context.execute, where this is meant to run on the native platform;
|
changeset |
files
|
| Mon, 08 Sep 2025 21:14:57 +0200 |
wenzelm |
clarified signature: prefer Isabelle_Platform.Context, with pro-forma support for MinGW;
|
changeset |
files
|
| Mon, 08 Sep 2025 20:52:55 +0200 |
wenzelm |
proper Path conversion for Windows (amending b7554954d697);
|
changeset |
files
|
| Mon, 08 Sep 2025 19:37:25 +0200 |
wenzelm |
more robust: proper Bash.string;
|
changeset |
files
|
| Sun, 07 Sep 2025 14:43:20 +0200 |
wenzelm |
more options: node_version, vscodium_version;
|
changeset |
files
|
| Sun, 07 Sep 2025 14:10:08 +0200 |
wenzelm |
clarified signature and modules: more explicit Nodejs.setup;
|
changeset |
files
|
| Sun, 07 Sep 2025 13:16:34 +0200 |
wenzelm |
clarified signature: more explicit packages;
|
changeset |
files
|
| Sat, 06 Sep 2025 22:20:02 +0200 |
wenzelm |
discontinue special treatment of bundled node_modules (in contrast to 33fb3014876f): build now works on actual platform, and is supposed to produced proper results;
|
changeset |
files
|
| Fri, 05 Sep 2025 21:55:19 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Fri, 05 Sep 2025 21:40:25 +0200 |
wenzelm |
prefer native platform;
|
changeset |
files
|
| Fri, 05 Sep 2025 21:21:20 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Fri, 05 Sep 2025 21:03:15 +0200 |
wenzelm |
proper electron_resources for macos;
|
changeset |
files
|
| Fri, 05 Sep 2025 20:28:58 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Fri, 05 Sep 2025 20:16:16 +0200 |
wenzelm |
more robust: self-contained Node.js setup;
|
changeset |
files
|
| Fri, 05 Sep 2025 20:15:34 +0200 |
wenzelm |
Node_Context.setup: support more packages;
|
changeset |
files
|
| Fri, 05 Sep 2025 19:24:15 +0200 |
wenzelm |
clarified signature: more explicit type Node_Context;
|
changeset |
files
|
| Fri, 05 Sep 2025 19:00:33 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 05 Sep 2025 13:59:55 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Fri, 05 Sep 2025 13:39:51 +0200 |
wenzelm |
more uniform treatment of platforms: only one is active at a time;
|
changeset |
files
|
| Fri, 05 Sep 2025 13:34:28 +0200 |
wenzelm |
clarified signature: prefer versatile Isabelle_Platform;
|
changeset |
files
|
| Fri, 05 Sep 2025 00:59:57 +0200 |
wenzelm |
proper guard;
|
changeset |
files
|
| Fri, 05 Sep 2025 00:24:29 +0200 |
wenzelm |
proper platform_ext for macos;
|
changeset |
files
|
| Thu, 04 Sep 2025 23:26:18 +0200 |
wenzelm |
more recent node_version, to make build on macos work properly: 22.17.0 happens to be the version that is built into vscodium;
|
changeset |
files
|
| Thu, 04 Sep 2025 22:53:45 +0200 |
wenzelm |
more thorough treatment of platform = Platform.family;
|
changeset |
files
|
| Thu, 04 Sep 2025 22:11:30 +0200 |
wenzelm |
clarified platform check: discontinue notion of Platform.Family.linux as "master platform";
|
changeset |
files
|
| Thu, 04 Sep 2025 21:58:52 +0200 |
wenzelm |
self-contained node setup, using consolidated LTS version in contrast to 20.18 from vscodium/docs/howto-build.md;
|
changeset |
files
|
| Thu, 04 Sep 2025 21:01:01 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Thu, 04 Sep 2025 20:15:32 +0200 |
wenzelm |
clarified platform information;
|
changeset |
files
|
| Thu, 04 Sep 2025 13:53:27 +0200 |
wenzelm |
platform-specific build context;
|
changeset |
files
|
| Thu, 04 Sep 2025 12:38:20 +0200 |
wenzelm |
less verbose by default;
|
changeset |
files
|
| Thu, 04 Sep 2025 12:23:18 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 30 Aug 2025 13:45:06 +0200 |
wenzelm |
partial update for vscodium-1.103.25610: only for linux;
|
changeset |
files
|
| Sat, 30 Aug 2025 13:10:55 +0200 |
wenzelm |
more verbose;
|
changeset |
files
|
| Sat, 30 Aug 2025 13:07:29 +0200 |
wenzelm |
more explicit messages, notably errors;
|
changeset |
files
|
| Sat, 30 Aug 2025 12:45:27 +0200 |
wenzelm |
clarified signature: more explicit operations;
|
changeset |
files
|
| Sun, 07 Sep 2025 22:37:57 +0100 |
paulson |
Removing "HOL-Library" as ancestor theory
|
changeset |
files
|
| Sun, 07 Sep 2025 17:42:10 +0100 |
paulson |
merged
|
changeset |
files
|
| Sun, 07 Sep 2025 17:42:02 +0100 |
paulson |
Some of Wenda Li's polynomial lemmas
|
changeset |
files
|
| Sun, 07 Sep 2025 14:46:06 +0200 |
haftmann |
no need for "default" equations any longer
|
changeset |
files
|
| Sat, 06 Sep 2025 12:53:32 +0100 |
paulson |
Removed needless [simp] attribute
|
changeset |
files
|
| Fri, 05 Sep 2025 21:53:19 +0100 |
paulson |
Some lemmas moved in from Winding_Number_Eval
|
changeset |
files
|
| Wed, 03 Sep 2025 21:15:31 +0100 |
paulson |
just cosmetic changes
|
changeset |
files
|
| Wed, 03 Sep 2025 08:16:23 +0200 |
haftmann |
declare default code equations before custom attributes
|
changeset |
files
|
| Sun, 31 Aug 2025 07:41:41 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Sat, 30 Aug 2025 18:01:46 +0200 |
haftmann |
prefer attribute for default singleton code equation
|
changeset |
files
|
| Sat, 30 Aug 2025 16:37:01 +0100 |
paulson |
merged
|
changeset |
files
|
| Sat, 30 Aug 2025 16:36:51 +0100 |
paulson |
Tidied a few messy proofs
|
changeset |
files
|
| Fri, 29 Aug 2025 16:51:55 +0100 |
paulson |
tidied a few messy proofs
|
changeset |
files
|
| Thu, 28 Aug 2025 15:55:07 +0200 |
wenzelm |
clarified show_results to serve as guard for interactive mode -- avoid printing internal consts, e.g. in 'record' or 'datatype', where Specification.definition is used as convenience for class instantiation (see also 889d5cdc034b, 951abf9db857, ecf80e37ed1a);
|
changeset |
files
|
| Thu, 28 Aug 2025 13:49:52 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Wed, 27 Aug 2025 20:42:15 +0200 |
wenzelm |
JAWS works as well, e.g. using its free license for 40min;
|
changeset |
files
|
| Tue, 26 Aug 2025 20:26:12 +0200 |
haftmann |
explicit singleton default code equation declaration where appropriate
|
changeset |
files
|
| Tue, 26 Aug 2025 18:59:06 +0200 |
haftmann |
preprocessing to execute bounded set comprehensions over tuples and triples
|
changeset |
files
|
| Mon, 25 Aug 2025 21:35:15 +0200 |
wenzelm |
update jedit-20250825, according to patches;
|
changeset |
files
|
| Mon, 25 Aug 2025 21:32:05 +0200 |
wenzelm |
more accessible File Browser: proper AccessibleName / setLabelFor for various components;
|
changeset |
files
|