isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 tip

tuned signature: more explicit operations;
7 weeks ago, by wenzelm
tuned;
7 weeks ago, by wenzelm
tuned signature: more defaults;
7 weeks ago, by wenzelm
prefer system options, which are easier to change on the spot;
7 weeks ago, by wenzelm
prefer compact theory + ML module;
7 weeks ago, by wenzelm
support output of prover messages;
7 weeks ago, by wenzelm
tuned signature: more explicit operations;
7 weeks ago, by wenzelm
Process theories within an adhoc session context.
7 weeks ago, by wenzelm
tuned signature;
7 weeks ago, by wenzelm
explicit option "show_results" for persistent messages;
7 weeks ago, by wenzelm
clarified signature: more detailed result;
7 weeks ago, by wenzelm
support private_dir for transient output;
7 weeks ago, by wenzelm
clarified signature;
7 weeks ago, by wenzelm
Generalised a theorem about Lebesgue integration
7 weeks ago, by paulson
update to jdk-21.0.8;
7 weeks ago, by wenzelm
avoid legacy operations;
7 weeks ago, by wenzelm
tuned whitespace;
7 weeks ago, by wenzelm
avoid legacy operations;
7 weeks ago, by wenzelm
tuned proofs;
7 weeks ago, by wenzelm
more ambitious ISABELLE_JAVA_SYSTEM_OPTIONS, following 1a4be2516f50;
7 weeks ago, by wenzelm
tuned;
7 weeks ago, by wenzelm
merged
7 weeks ago, by wenzelm
merged
7 weeks ago, by wenzelm
more robust: commit state only after publishing message;
7 weeks ago, by wenzelm
clarified modules;
7 weeks ago, by wenzelm
tuned NEWS;
8 weeks ago, by wenzelm
more accurate treatment unicode_symbols (for main theory file);
8 weeks ago, by wenzelm
proper comparison of actual source (amending fe8598c92be7), e.g. relevant for "File / Reload with Encoding / UTF-8" in Isabelle/jEdit;
8 weeks ago, by wenzelm
clarified output;
8 weeks ago, by wenzelm
clarified output;
8 weeks ago, by wenzelm
proper symbol_length (amending e2e43992f339);
8 weeks ago, by wenzelm
tuned;
8 weeks ago, by wenzelm
more robust (again), for the sake of Windows;
8 weeks ago, by wenzelm
minor performance tuning;
8 weeks ago, by wenzelm
more detailed export "PIDE/files": store offset of the load command, within the pro-forma loaded_theory_command --- this allows to restrict output messages for blobs;
8 weeks ago, by wenzelm
tuned;
8 weeks ago, by wenzelm
clarified signature: more self-contained operation;
8 weeks ago, by wenzelm
more accurate range wrt. command chunk;
8 weeks ago, by wenzelm
avoid duplicate state output (amending 951abf9db857);
8 weeks ago, by wenzelm
clarified signature;
8 weeks ago, by wenzelm
proper handling of removed nodes, e.g. via "Theories / Purge" in Isabelle/jEdit;
2 months ago, by wenzelm
tuned output;
2 months ago, by wenzelm
tuned output;
2 months ago, by wenzelm
minor performance tuning;
2 months ago, by wenzelm
suppress current_command for loaded theory, e.g. relevant for Query / Sledgehammer / State;
2 months ago, by wenzelm
tuned NEWS;
2 months ago, by wenzelm
more NEWS;
2 months ago, by wenzelm
more accurate output, based on persistent "command_range" markup;
2 months ago, by wenzelm
minor performance tuning;
2 months ago, by wenzelm
clarified signature: builtin filter;
2 months ago, by wenzelm
clarified signature;
2 months ago, by wenzelm
more markup for batch build: command ranges with trailing whitespace;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
tuned signature;
2 months ago, by wenzelm
clarified Editor.Output: more uniform handling in Isabelle/jEdit and Isabelle/VSCode;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
clarified modules;
2 months ago, by wenzelm
clarified signature: more explicit operations;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
more tuning and simplification (see 6dabae94cf57);
2 months ago, by wenzelm
more uniform JEdit_Editor.current_command wrt. PIDE document and Isabelle/VSCode (see also 842adea880a4 and 6bd7081f8319);
2 months ago, by wenzelm
tuned signature;
2 months ago, by wenzelm
tuned signature;
2 months ago, by wenzelm
tuned signature;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
tuned doc: display build manager SSH options;
7 weeks ago, by Fabian Huch
fixed a markup issue
8 weeks ago, by paulson
New lemmas about improper integrals and other things
8 weeks ago, by paulson
prefer sign-agnostic conversion following bit structure
2 months ago, by haftmann
tuned for readability and got small performance improvement
2 months ago, by desharna
bring some code equations into natural order
2 months ago, by haftmann
added missing colon
2 months ago, by haftmann
clarified signature;
2 months ago, by wenzelm
clarified signature;
2 months ago, by wenzelm
more direct support for "command_span" markup property "is_begin";
2 months ago, by wenzelm
clarified signature;
2 months ago, by wenzelm
misc tuning and clarification;
2 months ago, by wenzelm
clarified signature;
2 months ago, by wenzelm
clarified code setup
2 months ago, by haftmann
moved / rearranged lemma
2 months ago, by haftmann
eliminate code drop: declarations where none needed
2 months ago, by haftmann
internal setting to identify pointless code drop: declarations
2 months ago, by haftmann
clarified colors, following d6a14ed060fb;
2 months ago, by wenzelm
more comments;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
back to more basic defaults, independently on the accidental L&F: e.g. relevant for editor_style=false, and session_graph.pdf;
2 months ago, by wenzelm
proper default colors (amending e840461d5370): e.g. relevant for session_graph.pdf;
2 months ago, by wenzelm
eliminate odd Unicode characters (amending e9f3b94eb6a0, b69e4da2604b, 8f0b2daa7eaa, 8d1e295aab70);
2 months ago, by wenzelm
clarified natural decl_ord vs. slightly odd merge_decl_ord, following the historic status-quo of 53e56e6a67c3, which originally stems from c06d01f75764;
2 months ago, by wenzelm
clarified merge order: accurately reproduce the stable status-quo from 53e56e6a67c3 --- e.g. relevant for smt proof reconstruction in (line 6705 of "$AFP/Modular_arithmetic_LLL_and_HNF_algorithms/HNF_Mod_Det_Soundness.thy") of AFP/f1299d4f896c;
2 months ago, by wenzelm
clarified decl_ord wrt. kind_ord;
2 months ago, by wenzelm
more diagnostic operations;
2 months ago, by wenzelm
more robust treatment of impossible case;
2 months ago, by wenzelm
clarified name and status of auxiliary operation
2 months ago, by haftmann
moved lemma
2 months ago, by nipkow
added lemma
2 months ago, by nipkow
merged
2 months ago, by paulson
Complex analysis lemmas
2 months ago, by paulson
merged
2 months ago, by wenzelm
merged
2 months ago, by wenzelm
more robust, for typical error message prefix/suffix;
2 months ago, by wenzelm
tuned messages;
2 months ago, by wenzelm
NEWS;
2 months ago, by wenzelm
clarified signature: more uniform;
2 months ago, by wenzelm
clarified messages;
2 months ago, by wenzelm
more accurate warning;
2 months ago, by wenzelm
clarified signature;
2 months ago, by wenzelm
tuned (see also 9e7d1c139569);
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
clarified signature;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
explicit "dest" rules: no longer declare [elim_format, elim];
2 months ago, by wenzelm
more accurate declarations;
2 months ago, by wenzelm
avoid redundant argument (amending af6f55b15749);
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
clarified output;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm