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 -50 -30 +30 +50 +100 +300 +1000 tip

tuned signature: more operations;
10 months ago, by wenzelm
eliminate historic clone (see also 550e36c6a2d1);
10 months ago, by wenzelm
tuned signature: more operations;
10 months ago, by wenzelm
clarified 'unbundle' polarity, according to algebraic group laws;
10 months ago, by wenzelm
tuned signature: more operations;
10 months ago, by wenzelm
tuned: more direct use of Name.context operations;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
misc tuning and clarification: more direct use of Name.context operations;
10 months ago, by wenzelm
tuned signature: more operations;
10 months ago, by wenzelm
tuned: more direct use of Name.context operations;
10 months ago, by wenzelm
clarified signature: shorten common cases;
10 months ago, by wenzelm
tuned: more standard Name.build_context, although that is a bit longer;
10 months ago, by wenzelm
clarified signature: more uniform;
10 months ago, by wenzelm
omit redundant combinators (amending 7456a64bc4f6);
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
fixed bugs found by Stepan Holub
10 months ago, by blanchet
merged
10 months ago, by nipkow
added lemmas
10 months ago, by nipkow
merged
10 months ago, by wenzelm
more ambitious Search_Result.gui_text, using Swing HTML3 (NB: TreeCellRenderer cannot do this, because it is not updated for each entry);
10 months ago, by wenzelm
clarified signature and object initialization;
10 months ago, by wenzelm
clarified default: avoid copies;
10 months ago, by wenzelm
suppress odd icons for documents and folders;
10 months ago, by wenzelm
support for modified tree cell renderer;
10 months ago, by wenzelm
clarified signature: avoid implicit functionality;
10 months ago, by wenzelm
re-use Output_Area;
10 months ago, by wenzelm
re-use Output_Area;
10 months ago, by wenzelm
re-use Output_Area;
10 months ago, by wenzelm
re-use Output_Area with search results;
10 months ago, by wenzelm
re-use Output_Area with search results;
10 months ago, by wenzelm

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

isabelle