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
-28
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.
New lemmas about improper integrals and other things
default
tip
33 hours ago, by paulson
prefer sign-agnostic conversion following bit structure
3 days ago, by haftmann
tuned for readability and got small performance improvement
3 days ago, by desharna
bring some code equations into natural order
4 days ago, by haftmann
added missing colon
8 days ago, by haftmann
clarified signature;
8 days ago, by wenzelm
clarified signature;
8 days ago, by wenzelm
more direct support for "command_span" markup property "is_begin";
8 days ago, by wenzelm
clarified signature;
8 days ago, by wenzelm
misc tuning and clarification;
8 days ago, by wenzelm
clarified signature;
8 days ago, by wenzelm
clarified code setup
11 days ago, by haftmann
moved / rearranged lemma
11 days ago, by haftmann
eliminate code drop: declarations where none needed
12 days ago, by haftmann
internal setting to identify pointless code drop: declarations
12 days ago, by haftmann
clarified colors, following d6a14ed060fb;
12 days ago, by wenzelm
more comments;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
back to more basic defaults, independently on the accidental L&F: e.g. relevant for editor_style=false, and session_graph.pdf;
13 days ago, by wenzelm
proper default colors (amending e840461d5370): e.g. relevant for session_graph.pdf;
13 days ago, by wenzelm
eliminate odd Unicode characters (amending e9f3b94eb6a0, b69e4da2604b, 8f0b2daa7eaa, 8d1e295aab70);
2 weeks ago, by wenzelm
clarified natural decl_ord vs. slightly odd merge_decl_ord, following the historic status-quo of 53e56e6a67c3, which originally stems from c06d01f75764;
2 weeks ago, by wenzelm
clarified merge order: accurately reproduce the stable status-quo from 53e56e6a67c3 --- e.g. relevant for smt proof reconstruction in (line 6705 of "$AFP/Modular_arithmetic_LLL_and_HNF_algorithms/HNF_Mod_Det_Soundness.thy") of AFP/f1299d4f896c;
2 weeks ago, by wenzelm
clarified decl_ord wrt. kind_ord;
2 weeks ago, by wenzelm
more diagnostic operations;
2 weeks ago, by wenzelm
more robust treatment of impossible case;
2 weeks ago, by wenzelm
clarified name and status of auxiliary operation
2 weeks ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
tip