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
+3000
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.
clarified signature: avoid case class with mutable state;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified signature: more explicit types;
16 months ago, by wenzelm
merged
16 months ago, by paulson
tidied some messy old proofs
16 months ago, by paulson
tuned signature;
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
more robust;
16 months ago, by wenzelm
clarified signature: more position information via node_name;
16 months ago, by wenzelm
tuned signature: avoid name confusion;
16 months ago, by wenzelm
more bibtex errors;
16 months ago, by wenzelm
clarified signature: internalize errors (but: the parser rarely fails);
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
clarified signature: more explicit types;
16 months ago, by wenzelm
clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
16 months ago, by wenzelm
merged
16 months ago, by desharna
removed old lemma names
16 months ago, by desharna
merged
16 months ago, by paulson
merged
16 months ago, by paulson
A few new Sup/Inf lemmas
16 months ago, by paulson
clarified messages;
16 months ago, by wenzelm
tuned signature: follow terminology of VSCode_Resources;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
16 months ago, by wenzelm
update URL;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified signature: more explicit types;
16 months ago, by wenzelm
merged
16 months ago, by desharna
merged
16 months ago, by desharna
used transp_on in assumptions of lemmas Multiset.bex_(least|greatest)_element
16 months ago, by desharna
added lemma trans_on_lex_prod[simp]
16 months ago, by desharna
strengthened and renamed lemma trans_converse and added lemma transp_on_conversep
16 months ago, by desharna
strengthened and renamed trans_reflclI
16 months ago, by desharna
strengthened and renamed transp_reflclp
16 months ago, by desharna
strengthened and renamed lemmas preorder.transp_(ge|gr|le|less)
16 months ago, by desharna
added lemmas trans_on_subset and transp_on_subset
16 months ago, by desharna
added lemmas trans_onD and transp_onD
16 months ago, by desharna
added lemmas trans_onI and transp_onI
16 months ago, by desharna
added lemma transp_on_trans_on_eq[pred_set_conv]
16 months ago, by desharna
fixed code-generation failure
16 months ago, by desharna
added predicates trans_on and transp_on and redefined trans and transp to be abbreviations
16 months ago, by desharna
only show sessions with document setup;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
proper node name instead of not base tex_name (amending 2fd0c33fe440);
16 months ago, by wenzelm
proper migrate_name between different kinds of Resources, notably for Windows;
16 months ago, by wenzelm
merged
16 months ago, by desharna
added lemmas irrefl_on_if_asym_on[simp] and irreflp_on_if_asymp_on[simp]
16 months ago, by desharna
proper PIDE session background for interactive document context;
16 months ago, by wenzelm
NEWS;
16 months ago, by wenzelm
more accurate error messages;
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
actually build document;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip