isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

clarified signature: include standard margin in object equality;
3 months ago, by wenzelm
performance tuning: prefer asynchronous Pretty.formatted, which actually takes longer than Command.rich_text (see also 97964515a676, where Pretty.formatted was on the GUI thread, maybe for the sake of java.awt.FontMetrics at that time);
3 months ago, by wenzelm
The ceillog2 function (thanks to Manuel Eberl), replacing two copies of Ceil_Log2
3 months ago, by paulson
merged
3 months ago, by wenzelm
merged
3 months ago, by wenzelm
clarified signature: avoid pointless alias (see also c82a1620b274 and 22aeec526ffd);
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
tuned GUI: avoid wasting space with proportional fonts;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
more accurate pretty_margin for proportional fonts;
3 months ago, by wenzelm
clarified signature: more uniform;
3 months ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
3 months ago, by wenzelm
tuned signature;
3 months ago, by wenzelm
tuned signature;
3 months ago, by wenzelm
clarified signature with subtle change of semantics: output consists of individual messages that are formatted (and separated) internally;
3 months ago, by wenzelm
more accurate message boundaries;
3 months ago, by wenzelm
tuned whitespace;
3 months ago, by wenzelm
clarified signature: more robust type XML.Elem;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
clarified output representation: postpone Pretty.separate;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
3 months ago, by wenzelm
clarified signature: more accurate types;
3 months ago, by wenzelm
tuned signature: more standard names;
3 months ago, by wenzelm
more uniform pretty_text_area.zoom via its zoom_component;
3 months ago, by wenzelm
tuned signature;
3 months ago, by wenzelm
tuned signature: more standard names;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
revert 1206400b9b48: proper Node.unapply for Node.apply(null);
3 months ago, by wenzelm
tuned signature;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
clarified signature, with subtle change of semantics: proper non-null result;
3 months ago, by wenzelm
clarified modules;
3 months ago, by wenzelm
more robust and uniform metric, still with special treatment motivated by jEdit (see also 0cdfce0bf956);
3 months ago, by wenzelm
misc tuning;
3 months ago, by wenzelm
try0: avoid mapping background theory -- should be handled by Context_Position visibility;
3 months ago, by Fabian Huch
try0: stop early if more subgoals are created;
3 months ago, by Fabian Huch
try0: filter out untagged thms;
3 months ago, by Fabian Huch
try0: support literal facts;
3 months ago, by Fabian Huch
try0: add 'use' modifier for thms to insert;
3 months ago, by Fabian Huch
try0: use extra thms via insert;
3 months ago, by Fabian Huch
clarified: proper type for facts;
3 months ago, by Fabian Huch
clarified: proper type;
3 months ago, by Fabian Huch
tuned;
3 months ago, by Fabian Huch
tuned;
3 months ago, by Fabian Huch
try0: pass tagged thms for better control;
3 months ago, by Fabian Huch
clarified: proper return type;
3 months ago, by Fabian Huch
improve try0: solve multiple subgoals at once, if possible;
3 months ago, by Fabian Huch
tuned: unused parameter;
3 months ago, by Fabian Huch
tuned
3 months ago, by nipkow
better termination behaviour
3 months ago, by nipkow
uniform name T_f for closed-form lemmas for function T_f
3 months ago, by nipkow
More time for primitive functions
3 months ago, by nipkow
merged Reverse into Time_Funs
3 months ago, by nipkow
tuned proofs;
3 months ago, by wenzelm
tuned description: plain text documentation is also supported;
3 months ago, by wenzelm
merged
3 months ago, by wenzelm
update to jdk-21.0.5;
3 months ago, by wenzelm
misc tuning and clarification: Doc.Entry supports both plain files and pdf documents;
3 months ago, by wenzelm
tuned proofs
3 months ago, by nipkow
added missing definitions
3 months ago, by nipkow
tuned proofs;
3 months ago, by wenzelm
clarified modules;
3 months ago, by wenzelm
support value-oriented Font_Metric, e.g. for caching Pretty output;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
unused;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
more accurate Symbol.Metric, following 6eccae338770;
3 months ago, by wenzelm
tuned rendering, notably for HiDPI on Linux (see also ca7e2c21b104);
3 months ago, by wenzelm
proper parentheses, for the sake of IntelliJ IDEA;
3 months ago, by wenzelm
clarified modules;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
tuned proofs;
3 months ago, by wenzelm
tuned GUI (again, see 0521e65af41e);
3 months ago, by wenzelm
tuned proofs;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
tuned comments;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
tuned names;
3 months ago, by wenzelm
more robust;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
unused;
3 months ago, by wenzelm
clarified signature: more explicit types;
3 months ago, by wenzelm
tuned GUI;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
tuned imports;
3 months ago, by wenzelm
tuned: remove redundant checks;
3 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -96 +96 +100 +300 tip

isabelle