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 -14 +14 +100 +300 +1000 +3000 +10000 tip

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

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

isabelle