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
+100
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 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
clarified signature: more explicit operations;
4 weeks ago, by wenzelm
Removing "HOL-Library" as ancestor theory
3 weeks ago, by paulson
merged
3 weeks ago, by paulson
Some of Wenda Li's polynomial lemmas
3 weeks ago, by paulson
no need for "default" equations any longer
3 weeks ago, by haftmann
Removed needless [simp] attribute
3 weeks ago, by paulson
Some lemmas moved in from Winding_Number_Eval
3 weeks ago, by paulson
just cosmetic changes
3 weeks ago, by paulson
declare default code equations before custom attributes
3 weeks ago, by haftmann
tuned
4 weeks ago, by haftmann
prefer attribute for default singleton code equation
4 weeks ago, by haftmann
merged
4 weeks ago, by paulson
Tidied a few messy proofs
4 weeks ago, by paulson
tidied a few messy proofs
4 weeks ago, by paulson
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);
4 weeks ago, by wenzelm
tuned whitespace;
4 weeks ago, by wenzelm
JAWS works as well, e.g. using its free license for 40min;
4 weeks ago, by wenzelm
explicit singleton default code equation declaration where appropriate
4 weeks ago, by haftmann
preprocessing to execute bounded set comprehensions over tuples and triples
4 weeks ago, by haftmann
update jedit-20250825, according to patches;
5 weeks ago, by wenzelm
more accessible File Browser: proper AccessibleName / setLabelFor for various components;
5 weeks ago, by wenzelm
misc tuning;
5 weeks ago, by wenzelm
observe buffer.isReadOnly;
5 weeks ago, by wenzelm
more accessible operations: AccessibleEditableText;
5 weeks ago, by wenzelm
merged
5 weeks ago, by paulson
Tweaks to ugly proofs
5 weeks ago, by paulson
more robust: proper checks;
5 weeks ago, by wenzelm
more complete operations: handle AccessibleText.WORD via jEdit operations (with their known limitations concerning non-trivial Unicode);
5 weeks ago, by wenzelm
more accurate Unicode operations, based on existing TextArea.LineCharacterBreaker;
5 weeks ago, by wenzelm
update jedit-20250824, according to patches;
5 weeks ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
tip