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 -60 +60 +100 +300 tip

tuned GUI: avoid wasting space with proportional fonts;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
more accurate pretty_margin for proportional fonts;
4 months ago, by wenzelm
clarified signature: more uniform;
4 months ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
4 months ago, by wenzelm
tuned signature;
4 months ago, by wenzelm
tuned signature;
4 months ago, by wenzelm
clarified signature with subtle change of semantics: output consists of individual messages that are formatted (and separated) internally;
4 months ago, by wenzelm
more accurate message boundaries;
4 months ago, by wenzelm
tuned whitespace;
4 months ago, by wenzelm
clarified signature: more robust type XML.Elem;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
clarified output representation: postpone Pretty.separate;
4 months ago, by wenzelm
tuned;
4 months ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
4 months ago, by wenzelm
clarified signature: more accurate types;
4 months ago, by wenzelm
tuned signature: more standard names;
4 months ago, by wenzelm
more uniform pretty_text_area.zoom via its zoom_component;
4 months ago, by wenzelm
tuned signature;
4 months ago, by wenzelm
tuned signature: more standard names;
4 months ago, by wenzelm
tuned;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
tuned;
4 months ago, by wenzelm
revert 1206400b9b48: proper Node.unapply for Node.apply(null);
4 months ago, by wenzelm
tuned signature;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
clarified signature, with subtle change of semantics: proper non-null result;
4 months ago, by wenzelm
clarified modules;
4 months ago, by wenzelm
more robust and uniform metric, still with special treatment motivated by jEdit (see also 0cdfce0bf956);
4 months ago, by wenzelm
misc tuning;
4 months ago, by wenzelm
try0: avoid mapping background theory -- should be handled by Context_Position visibility;
4 months ago, by Fabian Huch
try0: stop early if more subgoals are created;
5 months ago, by Fabian Huch
try0: filter out untagged thms;
5 months ago, by Fabian Huch
try0: support literal facts;
5 months ago, by Fabian Huch
try0: add 'use' modifier for thms to insert;
5 months ago, by Fabian Huch
try0: use extra thms via insert;
5 months ago, by Fabian Huch
clarified: proper type for facts;
5 months ago, by Fabian Huch
clarified: proper type;
5 months ago, by Fabian Huch
tuned;
5 months ago, by Fabian Huch
tuned;
5 months ago, by Fabian Huch
try0: pass tagged thms for better control;
5 months ago, by Fabian Huch
clarified: proper return type;
5 months ago, by Fabian Huch
improve try0: solve multiple subgoals at once, if possible;
5 months ago, by Fabian Huch
tuned: unused parameter;
5 months ago, by Fabian Huch
tuned
4 months ago, by nipkow
better termination behaviour
4 months ago, by nipkow
uniform name T_f for closed-form lemmas for function T_f
4 months ago, by nipkow
More time for primitive functions
4 months ago, by nipkow
merged Reverse into Time_Funs
4 months ago, by nipkow
tuned proofs;
4 months ago, by wenzelm
tuned description: plain text documentation is also supported;
4 months ago, by wenzelm
merged
4 months ago, by wenzelm
update to jdk-21.0.5;
4 months ago, by wenzelm
misc tuning and clarification: Doc.Entry supports both plain files and pdf documents;
4 months ago, by wenzelm
tuned proofs
5 months ago, by nipkow
added missing definitions
5 months ago, by nipkow
tuned proofs;
5 months ago, by wenzelm
clarified modules;
5 months ago, by wenzelm

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

isabelle