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 tip

more robust session startup, notably Isabelle/jEdit with session build (amending 0e36478a1b6a);
5 weeks ago, by wenzelm
clarified signature: more accurate ML_Settings;
5 weeks ago, by wenzelm
clarified modules;
5 weeks ago, by wenzelm
clarified signature: avoid duplicate ML_Settings.system;
5 weeks ago, by wenzelm
clarified signature: general Session.open_session_context;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
clarified modules;
5 weeks ago, by wenzelm
more uniform options for session build/start (coincides with PIDE.options.value initially);
5 weeks ago, by wenzelm
clarified signature: Session always provides Store (with Rich_Text.Cache);
5 weeks ago, by wenzelm
clarified signature: prefer implicit PIDE.options, which correspond to PIDE.session;
5 weeks ago, by wenzelm
clarified modules;
5 weeks ago, by wenzelm
tuned signature;
5 weeks ago, by wenzelm
clarified signature;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
clarified signature: more explicit subtypes of Session, with corresponding subtypes of Resources;
5 weeks ago, by wenzelm
re-use cache from Main_Plugin.start;
5 weeks ago, by wenzelm
clarified signature, following c3793899b880;
5 weeks ago, by wenzelm
more robust: assertion holds, because session.finished_theories provides Snapshot from Document.State.end_theory;
5 weeks ago, by wenzelm
clarified signature;
5 weeks ago, by wenzelm
clarified signature;
5 weeks ago, by wenzelm
tuned comments;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
added lemmas
5 weeks ago, by nipkow
added lemmas
5 weeks ago, by nipkow
treat map_filter similar to list_all, list_ex, list_ex1
6 weeks ago, by haftmann
reinstated intersection of lists as inter_list_set
6 weeks ago, by nipkow
merged
6 weeks ago, by nipkow
defined mset in terms of its list-versin count_list instead of the ugly length of filter.
6 weeks ago, by nipkow
more explicit theorem names for list quantifiers
6 weeks ago, by haftmann
support for explicit ML platform identifier;
6 weeks ago, by wenzelm
more robust;
6 weeks ago, by wenzelm
proper SSH operation (amending 956ecf2c07a0);
6 weeks ago, by wenzelm
more robust;
6 weeks ago, by wenzelm
tuned errors;
6 weeks ago, by wenzelm
merged
6 weeks ago, by wenzelm
tuned message;
6 weeks ago, by wenzelm
more NEWS;
6 weeks ago, by wenzelm
clarified signature;
6 weeks ago, by wenzelm
more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings;
6 weeks ago, by wenzelm
support dynamic usage_text, after some options have been processed already;
6 weeks ago, by wenzelm
clarified signature: more modular, avoid adhoc mixins;
6 weeks ago, by wenzelm
tuned signature: more operations;
6 weeks ago, by wenzelm
clarified signature: more explicit types;
6 weeks ago, by wenzelm
proper support for old versions before 0e41f26a0250;
6 weeks ago, by wenzelm
tuned whitespace;
6 weeks ago, by wenzelm
proper Java command-line for desktop application (amending a3e7732b0393);
6 weeks ago, by wenzelm
more robust: inspect true ML environment instead of reconstructing it externally;
6 weeks ago, by wenzelm
clarified signature;
6 weeks ago, by wenzelm
discontinue unused parameter (better done as system option);
6 weeks ago, by wenzelm
discontinued ML_IDENTIFIER settings variable;
6 weeks ago, by wenzelm
clarified modules;
6 weeks ago, by wenzelm
tuned;
6 weeks ago, by wenzelm
clarified signature;
6 weeks ago, by wenzelm
removed pointless leftovers
6 weeks ago, by nipkow
more minus_list lemmas (incl code via fold instead of foldr)
6 weeks ago, by nipkow
make canonical homomorphism [simp]
6 weeks ago, by nipkow
the canonical homomorphism should be [simp]
7 weeks ago, by nipkow
merged
7 weeks ago, by nipkow

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

isabelle