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
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
misc tuning and modernization;
2017-03-15, by wenzelm
clarified message;
2017-03-15, by wenzelm
keep PIDE.plugin for the sake of still open dockables etc. -- jEdit exits these *after* the stop operation;
2017-03-15, by wenzelm
keep style extender for the sake of potentially remaining token markers;
2017-03-15, by wenzelm
dynamic session_options for tuning parameters and initial prover options;
2017-03-15, by wenzelm
strict initialization of plugin.session: no user errors to be expected before session.start;
2017-03-15, by wenzelm
resources are part of early/strict initialization, but session_base is permissive to avoid crash of "isabelle jedit -l BAD";
2017-03-15, by wenzelm
clarified initialization;
2017-03-15, by wenzelm
clarified initialization;
2017-03-15, by wenzelm
clarified modules;
2017-03-15, by wenzelm
clarified modules;
2017-03-15, by wenzelm
more explicit strict vs. non-strict initialization;
2017-03-15, by wenzelm
more explicit options;
2017-03-15, by wenzelm
unused;
2017-03-15, by wenzelm
clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
2017-03-15, by wenzelm
tuned whitespace;
2017-03-15, by wenzelm
map values statically;
2017-03-15, by wenzelm
clarified modules;
2017-03-15, by wenzelm
tuned signature;
2017-03-15, by wenzelm
tuned signature;
2017-03-14, by wenzelm
tuned;
2017-03-14, by wenzelm
tuned signature;
2017-03-14, by wenzelm
clarified singleton module;
2017-03-14, by wenzelm
proper plugin access;
2017-03-14, by wenzelm
clarified modules;
2017-03-14, by wenzelm
proper plugin access;
2017-03-14, by wenzelm
tuned;
2017-03-14, by wenzelm
prefer local variables;
2017-03-14, by wenzelm
clarified modules;
2017-03-14, by wenzelm
avoid global variables with implicit initialization;
2017-03-14, by wenzelm
more robust early initialization;
2017-03-14, by wenzelm
show user error as on command-line, e.g. relevant for unexpected crashes;
2017-03-14, by wenzelm
afford early initialization of JEdit_Options, but it may lead to messy exception trace for malformed etc/preferences (see also 6eeaaefcea56);
2017-03-14, by wenzelm
tuned message;
2017-03-14, by wenzelm
normalize changes strictly as specified in the protocol definition (assuming non-overlapping ranges, amending 0f555ce33970), e.g. relevant for automatic quotes/parentheses around selection;
2017-03-14, by wenzelm
always update decorations eventually after document changes: VSCode might reset it, but PIDE might produce an unchanged result that is not published again;
2017-03-14, by wenzelm
avoid race condition between current_state().stable_tip_version and model.rendering();
2017-03-14, by wenzelm
tuned;
2017-03-14, by wenzelm
updated dependencies;
2017-03-14, by wenzelm
explicitly ignore "initialized" message;
2017-03-14, by wenzelm
clarified shutdown;
2017-03-14, by wenzelm
tuned;
2017-03-14, by wenzelm
tuned;
2017-03-14, by wenzelm
support for permanent phase_changed watcher;
2017-03-14, by wenzelm
tuned;
2017-03-14, by wenzelm
more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready;
2017-03-14, by wenzelm
more robust debugger initialization, e.g. required for GUI components before actual session startup;
2017-03-14, by wenzelm
more abstract module Document;
2017-03-14, by wenzelm
tuned;
2017-03-14, by wenzelm
misc tuning and simplification;
2017-03-14, by wenzelm
more explicit Session.xml_cache;
2017-03-13, by wenzelm
tuned;
2017-03-13, by wenzelm
tuned signature;
2017-03-13, by wenzelm
tuned signature;
2017-03-13, by wenzelm
clarified modules;
2017-03-13, by wenzelm
proper local debugger state, depending on session;
2017-03-13, by wenzelm
more robust startup/init: let Session.stop wait for protocol handler initialization;
2017-03-13, by wenzelm
tuned;
2017-03-13, by wenzelm
tuned signature;
2017-03-13, by wenzelm
tuned signature;
2017-03-13, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
tip