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

isabelle regenerate_cooper
4 weeks ago, by haftmann
NEWS;
4 weeks ago, by wenzelm
obsolete (see 09904d5ef1f0);
4 weeks ago, by wenzelm
inline errors as "bad" markup;
4 weeks ago, by wenzelm
more robust result of migrate_file: retain full src_path (in contrast to d5d0e36eda16);
4 weeks ago, by wenzelm
clarified signature: more explicit operations;
4 weeks ago, by wenzelm
more robust: avoid crash on session database errors;
4 weeks ago, by wenzelm
tuned signature: more operations;
4 weeks ago, by wenzelm
basic support to reload theory markup from session store;
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
clarified signature;
4 weeks ago, by wenzelm
eliminate odd workaround from Aug-2012 (see 393a37003851);
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
clarified signature;
4 weeks ago, by wenzelm
tuned signature;
5 weeks ago, by wenzelm
clarified signature: avoid Session with accidental Resources.bootstrap, which is mostly undefined;
5 weeks ago, by wenzelm
clarified signature: prefer private operation (see also 803731b62180);
5 weeks ago, by wenzelm
tuned (see also 5c7652e9bc01);
5 weeks ago, by wenzelm
tuned signature: more generic operations;
5 weeks ago, by wenzelm
clarified signature;
5 weeks ago, by wenzelm
clarified signature: omit pointless object-oriented indirection;
5 weeks ago, by wenzelm
clarified signature;
5 weeks ago, by wenzelm
tuned: avoid overlapping scopes;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
typo
5 weeks ago, by haftmann
append (rather than prepend) code equations: the order within a theory is maintained in the resulting code
5 weeks ago, by haftmann
scope pending code equations to theories
5 weeks ago, by haftmann
merged
5 weeks ago, by nipkow
tuned
5 weeks ago, by nipkow
enforce rebuild of Isabelle/ML;
5 weeks ago, by wenzelm
proper build_context.store, instead of circular null value (amending 0e36478a1b6a and e891ff63e6db);
5 weeks ago, by wenzelm
merged
5 weeks ago, by wenzelm
more operations (e.g. for testing);
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
tuned signature: more explicit operations;
5 weeks ago, by wenzelm
more accurate ML_Settings from underlying Session;
5 weeks ago, by wenzelm
more accurate ML_Settings from underlying Session;
5 weeks ago, by wenzelm
tuned signature;
5 weeks ago, by wenzelm
clarified signature;
5 weeks ago, by wenzelm
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

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

isabelle