isabelle: Graph

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;
3 weeks ago, by wenzelm
clarified signature: more options;
3 weeks ago, by wenzelm
more accurate treatment of Windows/MinGW;
3 weeks ago, by wenzelm
proper platform_context.execute, where this is meant to run on the native platform;
3 weeks ago, by wenzelm
clarified signature: prefer Isabelle_Platform.Context, with pro-forma support for MinGW;
3 weeks ago, by wenzelm
proper Path conversion for Windows (amending b7554954d697);
3 weeks ago, by wenzelm
more robust: proper Bash.string;
3 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
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
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
more realistic TextArea.AccessibleContext, including AccessibleText with partial operations: works for NVDA, but not for VoiceOver;
5 weeks ago, by wenzelm
tuned whitespace;
5 weeks ago, by wenzelm
more standard treatment of AccessibleContext, following existing Swing components;
5 weeks ago, by wenzelm
basic support for accessible jEdit components;
5 weeks ago, by wenzelm
update to jedit-20250822, with support for EditPaneFactory and JEditTextAreaFactory as services;
5 weeks ago, by wenzelm
clarified patches: this is hardly modular anymore;
5 weeks ago, by wenzelm
Fixed some ugly proofs
5 weeks ago, by paulson
Simplification when extended real numerals are compared with 1
5 weeks ago, by paulson
merged
5 weeks ago, by wenzelm
more accessibility;
5 weeks ago, by wenzelm
proper GUI.copy_font, following fd3b214b0979;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
support for javax.swing.JLabel.labelFor following the Java Swing Tutorial on Assistive Technologies, although it has no immediate impact on NVDA;
5 weeks ago, by wenzelm
more robust: avoid division by zero;
5 weeks ago, by wenzelm
pretty margin <= 0 means no margin;
5 weeks ago, by wenzelm
provide explicit attribute for singleton default equations
5 weeks ago, by haftmann
make preprocessor setup confluent
5 weeks ago, by haftmann
dropped unused operations
5 weeks ago, by haftmann
prefer regular code declarations
6 weeks ago, by haftmann
merged
5 weeks ago, by wenzelm
tuned comments;
6 weeks ago, by wenzelm
tuned signature;
6 weeks ago, by wenzelm