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 -50 -30 +30 +50 +100 +300 tip

tuned;
3 months ago, by wenzelm
clarified signature: more explicit subtypes of Session, with corresponding subtypes of Resources;
3 months ago, by wenzelm
re-use cache from Main_Plugin.start;
3 months ago, by wenzelm
clarified signature, following c3793899b880;
3 months ago, by wenzelm
more robust: assertion holds, because session.finished_theories provides Snapshot from Document.State.end_theory;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
tuned comments;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
added lemmas
3 months ago, by nipkow
added lemmas
3 months ago, by nipkow
treat map_filter similar to list_all, list_ex, list_ex1
3 months ago, by haftmann
reinstated intersection of lists as inter_list_set
3 months ago, by nipkow
merged
3 months ago, by nipkow
defined mset in terms of its list-versin count_list instead of the ugly length of filter.
3 months ago, by nipkow
more explicit theorem names for list quantifiers
3 months ago, by haftmann
support for explicit ML platform identifier;
3 months ago, by wenzelm
more robust;
3 months ago, by wenzelm
proper SSH operation (amending 956ecf2c07a0);
3 months ago, by wenzelm
more robust;
3 months ago, by wenzelm
tuned errors;
3 months ago, by wenzelm
merged
3 months ago, by wenzelm
tuned message;
3 months ago, by wenzelm
more NEWS;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings;
3 months ago, by wenzelm
support dynamic usage_text, after some options have been processed already;
3 months ago, by wenzelm
clarified signature: more modular, avoid adhoc mixins;
3 months ago, by wenzelm
tuned signature: more operations;
3 months ago, by wenzelm
clarified signature: more explicit types;
3 months ago, by wenzelm

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

isabelle