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.
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
tuned comments;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified GUI;
16 months ago, by wenzelm
more thorough GUI updates, notably for multiple Document dockables;
16 months ago, by wenzelm
Additional new material about infinite products, etc.
16 months ago, by paulson
merged
16 months ago, by paulson
First round of moving material from the number theory development
16 months ago, by paulson
merged
16 months ago, by wenzelm
more GUI operations;
16 months ago, by wenzelm
proper handling of state updates;
16 months ago, by wenzelm
clarified process management;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
clarified state document nodes for Theories_Status / Document_Dockable;
16 months ago, by wenzelm
clarified state of document model vs. document editor selection (again, see also a9d52d02bd83);
16 months ago, by wenzelm
tuned whitespace;
16 months ago, by wenzelm
clarified module initialization;
16 months ago, by wenzelm
tuned signature, following Document_Dockable;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
clarified GUI;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
proper thread context;
16 months ago, by wenzelm
more informative errors, including optional Exn.trace;
16 months ago, by wenzelm
clarified state change: presumably more robust;
16 months ago, by wenzelm
proper state change, e.g. on open/close of "Document" panel;
16 months ago, by wenzelm
clarified module initialization;
16 months ago, by wenzelm
clarified state: node_required is guarded by PIDE.editor.document_active (e.g. open panel);
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
added lifting_forget as suggested by Peter Lammich
16 months ago, by blanchet
merged
16 months ago, by desharna
added lemma refl_lex_prod[simp]
16 months ago, by desharna
added lemmas reflI and reflD
16 months ago, by desharna
added lemmas asym_on_lex_prod[simp] and asym_lex_prod[simp]
16 months ago, by desharna
added lemmas sym_on_lex_prod[simp] and sym_lex_prod[simp]
16 months ago, by desharna
added lemmas irrefl_on_lex_prod[simp] and irrefl_lex_prod[simp]
16 months ago, by desharna
strengthened and renamed lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
16 months ago, by desharna
strengthened and renamed lemma antisym_converse and added lemma antisymp_on_conversep
16 months ago, by desharna
added lemmas asym_on_converse[simp] and asymp_on_conversep[simp]
16 months ago, by desharna
strengthened and renamed lemma sym_converse and added lemma symp_on_conversep
16 months ago, by desharna
strengthened and renamed lemmas antisymp_less and antisymp_greater
16 months ago, by desharna
strengthened lemmas antisym_on_if_asym_on and antisymp_on_if_asymp_on
16 months ago, by desharna
tuned naming
16 months ago, by desharna
added lemma asymp_on_asym_on_eq[pred_set_conv]
16 months ago, by desharna
strengthened and renamed asymp_less and asymp_greater
16 months ago, by desharna
added lemmas asym_on_subset and asymp_on_subset
16 months ago, by desharna
added lemmas asym_onI, asymp_onI, asym_onD, and asymp_onD
16 months ago, by desharna
added predicates asym_on and asymp_on and redefined asym and asymp to be abbreviations
16 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip