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
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.
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
tuned proofs;
11 months ago, by wenzelm
tuned NEWS;
11 months ago, by wenzelm
markup for "..." notation;
11 months ago, by wenzelm
more robust: avoid non-authentic translations;
11 months ago, by wenzelm
tuned whitespace of sources;
11 months ago, by wenzelm
update documentation;
11 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip