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