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.
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
4 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
5 weeks ago, by haftmann
preprocessing to execute bounded set comprehensions over tuples and triples
5 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
tuned signature: more public;
5 weeks ago, by wenzelm
more robust: hardwired default for locale-specific operations seen in jEdit sources (e.g. BreakIterator.getCharacterInstance);
5 weeks ago, by wenzelm
clarified AccessibleName, based on current buffer --- not the initial one;
5 weeks ago, by wenzelm
clarified signature;
5 weeks ago, by wenzelm
more robust shutdown of main plugin, while editor continues running;
5 weeks ago, by wenzelm
pro-forma use of ViewFactory and TextAreaPainterFactory;
5 weeks ago, by wenzelm
update jedit-20250823, according to accumulated patches;
5 weeks ago, by wenzelm
more accessible PanelWindowContainer: proper AccessibleName for buttons that represent dockables;
5 weeks ago, by wenzelm
clarified GUI: move "Recent Directories" to "File" menu;
5 weeks ago, by wenzelm
suppress "Recent Files" filter text, which happens to be absent in macOS for unknown reasons --- on Linux & Windows it makes keyboard navigation of the manu "stuck" and also prevents browsing in Windows/NVDA;
5 weeks ago, by wenzelm
more accessible EnhancedMenuItem: uniform AccessibleName vs. menu.multiShortcut;
5 weeks ago, by wenzelm
more robust GUIUtilities.getComponentParent: allow subclasses, notably for View, EditPane etc.;
5 weeks ago, by wenzelm
support for ViewFactory and TextAreaPainterFactory as services --- no update of jedit component yet;
5 weeks ago, by wenzelm
clarified patches: this is hardly modular anymore;
5 weeks ago, by wenzelm
merged
5 weeks ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
tip