Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
more explicit python_exe;
2 weeks ago, by wenzelm
clarified signature: closer to regular bash();
2 weeks ago, by wenzelm
raise error for SMT timeouts again, reverting accidental change in b44e894796d5;
2 weeks ago, by Fabian Huch
code drop / code abort attribute with constant derived from given equations
2 weeks ago, by haftmann
tuned
2 weeks ago, by haftmann
more platform prerequisites;
2 weeks ago, by wenzelm
more linux_packages from Docker_Build.packages;
2 weeks ago, by wenzelm
merged
2 weeks ago, by wenzelm
more robust Rust setup;
2 weeks ago, by wenzelm
more explicit errors;
2 weeks ago, by wenzelm
more accurate description;
2 weeks ago, by wenzelm
more systematic no_bash_functions: reduce process environment further;
2 weeks ago, by wenzelm
uniform Isabelle_System.bash_functions in Scala and ML, based on static result;
2 weeks ago, by wenzelm
trim process environment to accommodate Windows (see also "xargs --show-limits);
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
support Intel platform on Apple Silicon;
2 weeks ago, by wenzelm
more robust: explicit check of node_exe from download;
2 weeks ago, by wenzelm
revert accidental changes from f41ccbf028f5;
2 weeks ago, by wenzelm
support for existing Node.js directory;
2 weeks ago, by wenzelm
clarified signature: just one class Directory is sufficient;
2 weeks ago, by wenzelm
proper "rustup" installation for macOS;
2 weeks ago, by wenzelm
tuned output;
2 weeks ago, by wenzelm
more explicit platform prerequisites;
2 weeks ago, by wenzelm
proper platform_context.execute for Windows/MinGW;
2 weeks ago, by wenzelm
clarified signature: more options;
2 weeks ago, by wenzelm
more accurate treatment of Windows/MinGW;
2 weeks ago, by wenzelm
proper platform_context.execute, where this is meant to run on the native platform;
2 weeks ago, by wenzelm
clarified signature: prefer Isabelle_Platform.Context, with pro-forma support for MinGW;
2 weeks ago, by wenzelm
proper Path conversion for Windows (amending b7554954d697);
2 weeks ago, by wenzelm
more robust: proper Bash.string;
2 weeks ago, by wenzelm
more options: node_version, vscodium_version;
3 weeks ago, by wenzelm
clarified signature and modules: more explicit Nodejs.setup;
3 weeks ago, by wenzelm
clarified signature: more explicit packages;
3 weeks ago, by 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;
3 weeks ago, by wenzelm
tuned messages;
3 weeks ago, by wenzelm
prefer native platform;
3 weeks ago, by wenzelm
obsolete;
3 weeks ago, by wenzelm
proper electron_resources for macos;
3 weeks ago, by wenzelm
tuned output;
3 weeks ago, by wenzelm
more robust: self-contained Node.js setup;
3 weeks ago, by wenzelm
Node_Context.setup: support more packages;
3 weeks ago, by wenzelm
clarified signature: more explicit type Node_Context;
3 weeks ago, by wenzelm
clarified signature;
3 weeks ago, by wenzelm
tuned messages;
3 weeks ago, by wenzelm
more uniform treatment of platforms: only one is active at a time;
3 weeks ago, by wenzelm
clarified signature: prefer versatile Isabelle_Platform;
3 weeks ago, by wenzelm
proper guard;
3 weeks ago, by wenzelm
proper platform_ext for macos;
3 weeks ago, by 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;
3 weeks ago, by wenzelm
more thorough treatment of platform = Platform.family;
3 weeks ago, by wenzelm
clarified platform check: discontinue notion of Platform.Family.linux as "master platform";
3 weeks ago, by wenzelm
self-contained node setup, using consolidated LTS version in contrast to 20.18 from vscodium/docs/howto-build.md;
3 weeks ago, by wenzelm
tuned whitespace;
3 weeks ago, by wenzelm
clarified platform information;
3 weeks ago, by wenzelm
platform-specific build context;
3 weeks ago, by wenzelm
less verbose by default;
3 weeks ago, by wenzelm
tuned comments;
3 weeks ago, by wenzelm
partial update for vscodium-1.103.25610: only for linux;
4 weeks ago, by wenzelm
more verbose;
4 weeks ago, by wenzelm
more explicit messages, notably errors;
4 weeks ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
tip