isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 tip

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
more accurate error messages;
2022-12-21, by wenzelm
merged
2022-12-21, by wenzelm
actually build document;
2022-12-21, by wenzelm
tuned signature;
2022-12-21, by wenzelm
tuned comments;
2022-12-21, by wenzelm
clarified signature;
2022-12-21, by wenzelm
clarified signature;
2022-12-21, by wenzelm
tuned;
2022-12-21, by wenzelm
clarified GUI;
2022-12-21, by wenzelm
more thorough GUI updates, notably for multiple Document dockables;
2022-12-21, by wenzelm
Additional new material about infinite products, etc.
2022-12-21, by paulson
merged
2022-12-20, by paulson
First round of moving material from the number theory development
2022-12-20, by paulson
merged
2022-12-20, by wenzelm
more GUI operations;
2022-12-20, by wenzelm
proper handling of state updates;
2022-12-20, by wenzelm
clarified process management;
2022-12-20, by wenzelm
tuned signature;
2022-12-20, by wenzelm
clarified state document nodes for Theories_Status / Document_Dockable;
2022-12-20, by wenzelm
clarified state of document model vs. document editor selection (again, see also a9d52d02bd83);
2022-12-20, by wenzelm
tuned whitespace;
2022-12-19, by wenzelm
clarified module initialization;
2022-12-19, by wenzelm
tuned signature, following Document_Dockable;
2022-12-19, by wenzelm
tuned signature;
2022-12-19, by wenzelm
clarified GUI;
2022-12-19, by wenzelm
tuned signature;
2022-12-19, by wenzelm
proper thread context;
2022-12-19, by wenzelm
more informative errors, including optional Exn.trace;
2022-12-19, by wenzelm
clarified state change: presumably more robust;
2022-12-19, by wenzelm
proper state change, e.g. on open/close of "Document" panel;
2022-12-19, by wenzelm
clarified module initialization;
2022-12-19, by wenzelm
clarified state: node_required is guarded by PIDE.editor.document_active (e.g. open panel);
2022-12-19, by wenzelm
clarified signature;
2022-12-19, by wenzelm
tuned signature;
2022-12-19, by wenzelm
added lifting_forget as suggested by Peter Lammich
2022-12-20, by blanchet
merged
2022-12-19, by desharna
added lemma refl_lex_prod[simp]
2022-12-19, by desharna
added lemmas reflI and reflD
2022-12-19, by desharna
added lemmas asym_on_lex_prod[simp] and asym_lex_prod[simp]
2022-12-19, by desharna
added lemmas sym_on_lex_prod[simp] and sym_lex_prod[simp]
2022-12-19, by desharna
added lemmas irrefl_on_lex_prod[simp] and irrefl_lex_prod[simp]
2022-12-19, by desharna
strengthened and renamed lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
2022-12-19, by desharna
strengthened and renamed lemma antisym_converse and added lemma antisymp_on_conversep
2022-12-19, by desharna
added lemmas asym_on_converse[simp] and asymp_on_conversep[simp]
2022-12-19, by desharna
strengthened and renamed lemma sym_converse and added lemma symp_on_conversep
2022-12-19, by desharna
strengthened and renamed lemmas antisymp_less and antisymp_greater
2022-12-19, by desharna
strengthened lemmas antisym_on_if_asym_on and antisymp_on_if_asymp_on
2022-12-19, by desharna
tuned naming
2022-12-19, by desharna
added lemma asymp_on_asym_on_eq[pred_set_conv]
2022-12-19, by desharna
strengthened and renamed asymp_less and asymp_greater
2022-12-19, by desharna
added lemmas asym_on_subset and asymp_on_subset
2022-12-19, by desharna
added lemmas asym_onI, asymp_onI, asym_onD, and asymp_onD
2022-12-19, by desharna
added predicates asym_on and asymp_on and redefined asym and asymp to be abbreviations
2022-12-18, by desharna
clarified state and process;
2022-12-18, by wenzelm
clarified signature;
2022-12-18, by wenzelm
clarified signature;
2022-12-18, by wenzelm
clarified signature;
2022-12-18, by wenzelm
clarified signature;
2022-12-18, by wenzelm
merged
2022-12-18, by desharna
strengthened and renamed symp_symclp
2022-12-16, by desharna
merged
2022-12-17, by nipkow
Tuned text
2022-12-17, by nipkow
clarified signature: avoid confusion due to redundant standard_path, which is already used here (but not elsewhere);
2022-12-17, by wenzelm
clarified signature: avoid case class with redefined equality;
2022-12-17, by wenzelm
discontinued somewhat pointless dependency: avoid illusion of extra accuracy (see also 09fb749d1a1e and 0f750a6dc754);
2022-12-17, by wenzelm
tuned;
2022-12-17, by wenzelm
clarified signature;
2022-12-17, by wenzelm
unused;
2022-12-17, by wenzelm
clarified signature;
2022-12-17, by wenzelm
tuned whitespace;
2022-12-17, by wenzelm
tuned;
2022-12-17, by wenzelm
clarified signature;
2022-12-17, by wenzelm
tuned signature;
2022-12-17, by wenzelm
tuned output;
2022-12-17, by wenzelm
prefer SML here
2022-12-17, by haftmann
Typo.
2022-12-17, by haftmann
merged
2022-12-16, by wenzelm
clarified signature;
2022-12-16, by wenzelm
clarified names;
2022-12-16, by wenzelm
clarified signature;
2022-12-16, by wenzelm
tuned signature;
2022-12-16, by wenzelm
tuned signature (see also 8342cba8eae8);
2022-12-16, by wenzelm
tuned names: avoid overlap with instances of class Resources;
2022-12-16, by wenzelm
merged
2022-12-16, by nipkow
file with partial function docu
2022-12-16, by nipkow
Added section about code generation for partial functions
2022-12-16, by nipkow
added lemmas sym_on_subset and symp_on_subset
2022-12-16, by desharna
added lemmas sym_onD and symp_onD
2022-12-16, by desharna
added lemmas sym_onI and symp_onI
2022-12-16, by desharna
added lemma symp_on_sym_on_eq[pred_set_conv]
2022-12-16, by desharna
added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
2022-12-16, by desharna
added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
2022-12-16, by desharna
added lemmas antisym_on_subset and antisymp_on_subset
2022-12-15, by desharna
strengthened antisymp_le and antisymp_ge
2022-12-15, by desharna
added lemmas antisym_onD and antisymp_onD
2022-12-15, by desharna
added lemmas antisym_onI and antisymp_onI
2022-12-15, by desharna
added lemma antisymp_reflcp
2022-12-15, by desharna
added antisymp_on_antisym_on_eq[pred_set_conv]
2022-12-15, by desharna
added predicates antisym_on and antisymp_on and redefined antisym and antisymp to be abbreviations
2022-12-15, by desharna
tuned;
2022-12-13, by wenzelm
tuned;
2022-12-13, by wenzelm
clarified order: accumulate strictly from left to right;
2022-12-13, by wenzelm
clarified modules;
2022-12-13, by wenzelm
clarified modules;
2022-12-13, by wenzelm
tuned signature;
2022-12-13, by wenzelm
clarified signature: more types and operations;
2022-12-12, by wenzelm
clarified signature;
2022-12-12, by wenzelm
tuned;
2022-12-12, by wenzelm
proper file extension for Isabelle_System.extract;
2022-12-11, by wenzelm
tuned implementation;
2022-12-11, by wenzelm
more uniform use of make_directory;
2022-12-11, by wenzelm
tuned message;
2022-12-11, by wenzelm
tuned: less redundant implementation;
2022-12-11, by wenzelm
clarified signature: copy directory content more directly;
2022-12-11, by wenzelm