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 +1000 tip

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
more thorough init;
10 months ago, by wenzelm
clarified signature: prefer defaults for Output_Dockable (and its variants);
10 months ago, by wenzelm
unused;
10 months ago, by wenzelm
tuned output: formatting is pointless for proportional font;
10 months ago, by wenzelm
clarified Tree_View.init_model: more uniform;
10 months ago, by wenzelm
more robust update;
10 months ago, by wenzelm
handle tree selection;
10 months ago, by wenzelm
Output_Dockable: show search results as tree view;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified signature and modules: without GUI change yet;
10 months ago, by wenzelm
more operations, to support search within output panel;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
Introduced the function some_elem for grabbing an element from a non-empty set, and simplified the theorem the_elem_image_unique
10 months ago, by paulson
Patch by Stepan Holub, plus tweaks
10 months ago, by paulson
patch to vector_matrix_mult by Alexander Pach
10 months ago, by paulson
try0: cleaned up output;
10 months ago, by Fabian Huch
try0: insert extra facts into state instead of goal, since some methods (e.g. metis) won't work otherwise;
10 months ago, by Fabian Huch
avoid informatik.tu-muenchen.de domain: soon to be discontinued;
10 months ago, by Fabian Huch
renamed Discrete -> Discrete_Functions to avoid name clashes;
10 months ago, by nipkow
Use Var to maintain the difference between function and locale parameters
10 months ago, by nipkow
tuned
10 months ago, by nipkow
tuned proofs;
10 months ago, by wenzelm
tuned proofs;
10 months ago, by wenzelm
minor performance tuning: avoided repeated metric initialization;
10 months ago, by wenzelm
tuned signature: more operations;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more NEWS;
10 months ago, by wenzelm
tuned proofs;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
enforce rebuild of Isabelle/ML and Isabelle/Scala;
10 months ago, by wenzelm
update to jedit-20241115 (see also ecd62f7b3644 and d92d754b5dd9);
10 months ago, by wenzelm
more patches for the sake of SideKick 1.8 vs. jEdit 5.7.0: provide missing GUIUtilities.isPopupTrigger, avoid StatusBar messages (which often don't fit);
10 months ago, by wenzelm
tuned comments;
10 months ago, by wenzelm
clarified key events: cancel output selection, before input selection;
10 months ago, by wenzelm
proper focus to support subsequent copy-paste via keyboard;
10 months ago, by wenzelm
more accurate initial FontRenderContext, notably on macOS, Windows, or Linux with "env GDK_SCALE=2";
10 months ago, by wenzelm
removed obsolete option: jEdit 5.7.0 can be built with default jdk;
10 months ago, by wenzelm
more rebust mechanics of refresh (see also 82110cbcf9a1 and 2d9b6e32632d): painter.getFontRenderContext might be in undefined state (notably on macOS due to display scaling);
10 months ago, by wenzelm
less ambitious selection;
10 months ago, by wenzelm
mv Discrete to Discrete_Cpo to avoid theory name clashes
10 months ago, by nipkow

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

isabelle