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.
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more accurate Symbol.Metric, following 6eccae338770;
10 months ago, by wenzelm
tuned rendering, notably for HiDPI on Linux (see also ca7e2c21b104);
10 months ago, by wenzelm
proper parentheses, for the sake of IntelliJ IDEA;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned proofs;
10 months ago, by wenzelm
tuned GUI (again, see 0521e65af41e);
10 months ago, by wenzelm
tuned proofs;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned comments;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned names;
10 months ago, by wenzelm
more robust;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
unused;
10 months ago, by wenzelm
clarified signature: more explicit types;
10 months ago, by wenzelm
tuned GUI;
10 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned imports;
11 months ago, by wenzelm
tuned: remove redundant checks;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified modules: more re-usable;
11 months ago, by wenzelm
proper protocol messages (amending 7a1f9e571046);
11 months ago, by wenzelm
clarified treatment of caret_range: better support for multiple (unrelated) selections;
11 months ago, by wenzelm
tuned whitespace;
11 months ago, by wenzelm
support incremental isabelle.select-structure --- like select-block, but based on selection instead of caret;
11 months ago, by wenzelm
clarified rendering: entity acts as atomic notation / expression;
11 months ago, by wenzelm
more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements;
11 months ago, by wenzelm
more NEWS;
11 months ago, by wenzelm
merged
11 months ago, by wenzelm
support Isabelle/jEdit action isabelle.select_structure;
11 months ago, by wenzelm
more operations;
11 months ago, by wenzelm
clarified text;
11 months ago, by wenzelm
update to jedit5.7.0;
11 months ago, by wenzelm
GUI option "editor_auto_hovering" for Output panel;
11 months ago, by wenzelm
update to scala-3.3.4 LTS;
11 months ago, by wenzelm
removed obsolete markup for "open_block" (see also d5ad89fda714): Isabelle/Scala directly supports XML.Elem pretty-printing;
11 months ago, by wenzelm
Library material from Eberl's Parallel_Shear_Sort
11 months ago, by paulson
Trying to clean up these horribly ugly old proofs, but the requirement of constructivity makes it very difficult
11 months ago, by paulson
use automatically generated time function in HOL-Data_Structures.Selection
11 months ago, by Manuel Eberl
merged
11 months ago, by nipkow
better time_functions (let)
11 months ago, by nipkow
less hidden configuration;
11 months ago, by Fabian Huch
proper passwordless smtp check: must be null;
11 months ago, by Fabian Huch
adjusted documentation
11 months ago, by blanchet
more attribute tuning
11 months ago, by nipkow
tuned attributes
11 months ago, by nipkow
merged
11 months ago, by nipkow
added lemmas
11 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip