isabelle: Graph

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

clarified modules: avoid duplication;
2022-12-27, by wenzelm
tuned output;
2022-12-27, by wenzelm
support for generic File_Format.parse_data, with persistent result in document model;
2022-12-27, by wenzelm
omit warning: somewhat pointless and out-of-context;
2022-12-27, by wenzelm
clarified signature: avoid case class with mutable state;
2022-12-27, by wenzelm
tuned;
2022-12-27, by wenzelm
clarified signature: more explicit types;
2022-12-27, by wenzelm
merged
2022-12-27, by paulson
tidied some messy old proofs
2022-12-27, by paulson
tuned signature;
2022-12-26, by wenzelm
merged
2022-12-26, by wenzelm
tuned signature;
2022-12-26, by wenzelm
more robust;
2022-12-26, by wenzelm
clarified signature: more position information via node_name;
2022-12-26, by wenzelm
tuned signature: avoid name confusion;
2022-12-26, by wenzelm
more bibtex errors;
2022-12-26, by wenzelm
clarified signature: internalize errors (but: the parser rarely fails);
2022-12-26, by wenzelm
tuned signature;
2022-12-26, by wenzelm
clarified signature: more explicit types;
2022-12-26, by wenzelm
clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
2022-12-26, by wenzelm
merged
2022-12-26, by desharna
removed old lemma names
2022-12-26, by desharna
merged
2022-12-24, by paulson
merged
2022-12-23, by paulson
A few new Sup/Inf lemmas
2022-12-22, by paulson
clarified messages;
2022-12-24, by wenzelm
tuned signature: follow terminology of VSCode_Resources;
2022-12-24, by wenzelm
tuned signature;
2022-12-23, by wenzelm
tuned signature;
2022-12-23, by wenzelm
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
2022-12-23, by wenzelm
update URL;
2022-12-23, by wenzelm
clarified signature;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
clarified signature: more explicit types;
2022-12-23, by wenzelm
merged
2022-12-23, by desharna
merged
2022-12-22, by desharna
used transp_on in assumptions of lemmas Multiset.bex_(least|greatest)_element
2022-12-20, by desharna
added lemma trans_on_lex_prod[simp]
2022-12-19, by desharna
strengthened and renamed lemma trans_converse and added lemma transp_on_conversep
2022-12-19, by desharna
strengthened and renamed trans_reflclI
2022-12-19, by desharna
strengthened and renamed transp_reflclp
2022-12-19, by desharna
strengthened and renamed lemmas preorder.transp_(ge|gr|le|less)
2022-12-19, by desharna
added lemmas trans_on_subset and transp_on_subset
2022-12-19, by desharna
added lemmas trans_onD and transp_onD
2022-12-19, by desharna
added lemmas trans_onI and transp_onI
2022-12-19, by desharna
added lemma transp_on_trans_on_eq[pred_set_conv]
2022-12-19, by desharna
fixed code-generation failure
2022-12-20, by desharna
added predicates trans_on and transp_on and redefined trans and transp to be abbreviations
2022-12-19, by desharna
only show sessions with document setup;
2022-12-22, by wenzelm
tuned;
2022-12-22, by wenzelm
proper node name instead of not base tex_name (amending 2fd0c33fe440);
2022-12-22, by wenzelm
proper migrate_name between different kinds of Resources, notably for Windows;
2022-12-22, by wenzelm
merged
2022-12-22, by desharna
added lemmas irrefl_on_if_asym_on[simp] and irreflp_on_if_asymp_on[simp]
2022-12-21, by desharna
proper PIDE session background for interactive document context;
2022-12-21, by wenzelm
NEWS;
2022-12-21, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle