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
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 missing colon
default
tip
3 days ago, by haftmann
clarified signature;
3 days ago, by wenzelm
clarified signature;
3 days ago, by wenzelm
more direct support for "command_span" markup property "is_begin";
3 days ago, by wenzelm
clarified signature;
3 days ago, by wenzelm
misc tuning and clarification;
3 days ago, by wenzelm
clarified signature;
3 days ago, by wenzelm
clarified code setup
6 days ago, by haftmann
moved / rearranged lemma
6 days ago, by haftmann
eliminate code drop: declarations where none needed
7 days ago, by haftmann
internal setting to identify pointless code drop: declarations
7 days ago, by haftmann
clarified colors, following d6a14ed060fb;
7 days ago, by wenzelm
more comments;
7 days ago, by wenzelm
tuned;
7 days ago, by wenzelm
tuned;
7 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;
8 days ago, by wenzelm
proper default colors (amending e840461d5370): e.g. relevant for session_graph.pdf;
8 days ago, by wenzelm
eliminate odd Unicode characters (amending e9f3b94eb6a0, b69e4da2604b, 8f0b2daa7eaa, 8d1e295aab70);
9 days 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;
9 days 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;
9 days ago, by wenzelm
clarified decl_ord wrt. kind_ord;
9 days ago, by wenzelm
more diagnostic operations;
9 days ago, by wenzelm
more robust treatment of impossible case;
9 days ago, by wenzelm
clarified name and status of auxiliary operation
11 days ago, by haftmann
moved lemma
12 days ago, by nipkow
added lemma
12 days ago, by nipkow
merged
2 weeks ago, by paulson
Complex analysis lemmas
2 weeks ago, by paulson
merged
2 weeks ago, by wenzelm
merged
2 weeks ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
tip