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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
added Halting problem theory
9 months ago, by nipkow
merged
9 months ago, by desharna
added parallel_group_size option to Mirabelle
2023-09-29, by desharna
adapted bash files to use cartouches
9 months ago, by desharna
tuned
10 months ago, by nipkow
clarified names context: proper context, without consts;
10 months ago, by wenzelm
clarified names context: proper context, without consts;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature: more operations;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned names/scopes;
10 months ago, by wenzelm
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
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip