isabelle: Graph

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

tuned whitespace;
10 months ago, by wenzelm
clarified signature: more robust type XML.Elem;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified output representation: postpone Pretty.separate;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
clarified signature: more accurate types;
10 months ago, by wenzelm
tuned signature: more standard names;
10 months ago, by wenzelm
more uniform pretty_text_area.zoom via its zoom_component;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned signature: more standard names;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
revert 1206400b9b48: proper Node.unapply for Node.apply(null);
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified signature, with subtle change of semantics: proper non-null result;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
more robust and uniform metric, still with special treatment motivated by jEdit (see also 0cdfce0bf956);
10 months ago, by wenzelm
misc tuning;
10 months ago, by wenzelm
try0: avoid mapping background theory -- should be handled by Context_Position visibility;
10 months ago, by Fabian Huch
try0: stop early if more subgoals are created;
11 months ago, by Fabian Huch
try0: filter out untagged thms;
11 months ago, by Fabian Huch
try0: support literal facts;
11 months ago, by Fabian Huch
try0: add 'use' modifier for thms to insert;
11 months ago, by Fabian Huch
try0: use extra thms via insert;
11 months ago, by Fabian Huch
clarified: proper type for facts;
11 months ago, by Fabian Huch
clarified: proper type;
11 months ago, by Fabian Huch
tuned;
11 months ago, by Fabian Huch
tuned;
11 months ago, by Fabian Huch
try0: pass tagged thms for better control;
11 months ago, by Fabian Huch
clarified: proper return type;
11 months ago, by Fabian Huch
improve try0: solve multiple subgoals at once, if possible;
11 months ago, by Fabian Huch
tuned: unused parameter;
11 months ago, by Fabian Huch
tuned
10 months ago, by nipkow
better termination behaviour
10 months ago, by nipkow
uniform name T_f for closed-form lemmas for function T_f
10 months ago, by nipkow
More time for primitive functions
10 months ago, by nipkow
merged Reverse into Time_Funs
10 months ago, by nipkow
tuned proofs;
10 months ago, by wenzelm
tuned description: plain text documentation is also supported;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
update to jdk-21.0.5;
10 months ago, by wenzelm
misc tuning and clarification: Doc.Entry supports both plain files and pdf documents;
10 months ago, by wenzelm
tuned proofs
10 months ago, by nipkow
added missing definitions
10 months ago, by nipkow
tuned proofs;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
support value-oriented Font_Metric, e.g. for caching Pretty output;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
unused;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more accurate Symbol.Metric, following 6eccae338770;
10 months ago, by wenzelm
tuned rendering, notably for HiDPI on Linux (see also ca7e2c21b104);
10 months ago, by wenzelm
proper parentheses, for the sake of IntelliJ IDEA;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned proofs;
10 months ago, by wenzelm
tuned GUI (again, see 0521e65af41e);
10 months ago, by wenzelm
tuned proofs;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned comments;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned names;
10 months ago, by wenzelm
more robust;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
unused;
10 months ago, by wenzelm
clarified signature: more explicit types;
10 months ago, by wenzelm
tuned GUI;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned imports;
11 months ago, by wenzelm
tuned: remove redundant checks;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified modules: more re-usable;
11 months ago, by wenzelm
proper protocol messages (amending 7a1f9e571046);
11 months ago, by wenzelm
clarified treatment of caret_range: better support for multiple (unrelated) selections;
11 months ago, by wenzelm
tuned whitespace;
11 months ago, by wenzelm
support incremental isabelle.select-structure --- like select-block, but based on selection instead of caret;
11 months ago, by wenzelm
clarified rendering: entity acts as atomic notation / expression;
11 months ago, by wenzelm
more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements;
11 months ago, by wenzelm
more NEWS;
11 months ago, by wenzelm
merged
11 months ago, by wenzelm
support Isabelle/jEdit action isabelle.select_structure;
11 months ago, by wenzelm
more operations;
11 months ago, by wenzelm
clarified text;
11 months ago, by wenzelm
update to jedit5.7.0;
11 months ago, by wenzelm
GUI option "editor_auto_hovering" for Output panel;
11 months ago, by wenzelm
update to scala-3.3.4 LTS;
11 months ago, by wenzelm
removed obsolete markup for "open_block" (see also d5ad89fda714): Isabelle/Scala directly supports XML.Elem pretty-printing;
11 months ago, by wenzelm
Library material from Eberl's Parallel_Shear_Sort
11 months ago, by paulson
Trying to clean up these horribly ugly old proofs, but the requirement of constructivity makes it very difficult
11 months ago, by paulson
use automatically generated time function in HOL-Data_Structures.Selection
11 months ago, by Manuel Eberl
merged
11 months ago, by nipkow
better time_functions (let)
11 months ago, by nipkow
less hidden configuration;
11 months ago, by Fabian Huch
proper passwordless smtp check: must be null;
11 months ago, by Fabian Huch
adjusted documentation
11 months ago, by blanchet
more attribute tuning
11 months ago, by nipkow
tuned attributes
11 months ago, by nipkow
merged
11 months ago, by nipkow
added lemmas
11 months ago, by nipkow
tuned proofs;
11 months ago, by wenzelm
tuned NEWS;
11 months ago, by wenzelm
markup for "..." notation;
11 months ago, by wenzelm
more robust: avoid non-authentic translations;
11 months ago, by wenzelm
tuned whitespace of sources;
11 months ago, by wenzelm