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

tuned;
2015-08-11, by wenzelm
vacuous input means continue, e.g. after exit;
2015-08-11, by wenzelm
GUI actions depend on active debugger;
2015-08-11, by wenzelm
init/exit depending on active debugger panels;
2015-08-11, by wenzelm
eliminated cancel operation: disrupts normal evaluation of thread;
2015-08-11, by wenzelm
register thread such that cancel works;
2015-08-11, by wenzelm
clarified default selection;
2015-08-10, by wenzelm
report final debugger_state more robustly, e.g. after interrupt;
2015-08-10, by wenzelm
eliminated global option: breakpoints control this individually;
2015-08-10, by wenzelm
more uniform ScrollPane, like graphview;
2015-08-10, by wenzelm
tuned signature;
2015-08-10, by wenzelm
tuned rendering;
2015-08-10, by wenzelm
set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
2015-08-10, by wenzelm
more thorough Encode.string;
2015-08-10, by wenzelm
added action to toggle breakpoints (on editor side);
2015-08-10, by wenzelm
sort lines;
2015-08-10, by wenzelm
rendering for debugger/breakpoint active state;
2015-08-10, by wenzelm
follow debugger focus;
2015-08-10, by wenzelm
tuned signature;
2015-08-10, by wenzelm
tuned imports;
2015-08-10, by wenzelm
tuned messages;
2015-08-10, by wenzelm
clarified ML options;
2015-08-10, by wenzelm
merged
2015-08-08, by wenzelm
more single stepping;
2015-08-08, by wenzelm
direct bootstrap of integer division from natural division
2015-08-08, by haftmann
slight cleanup of lemmas
2015-08-06, by haftmann
obsolete since no code generator without dictionary construction left
2015-08-06, by haftmann
make SML/NJ work;
2015-08-07, by wenzelm
suppress empty messages as usual;
2015-08-07, by wenzelm
proper Symbol.decode/encode;
2015-08-07, by wenzelm
eval ML context;
2015-08-07, by wenzelm
maintain history more often;
2015-08-07, by wenzelm
approximate old selection after update;
2015-08-06, by wenzelm
expand all rows for robustness and simplicity;
2015-08-06, by wenzelm
evaluate ML expressions within debugger context;
2015-08-06, by wenzelm
clarified debugger loop;
2015-08-06, by wenzelm
clarified thread state;
2015-08-06, by wenzelm
tuned;
2015-08-06, by wenzelm
more controls;
2015-08-06, by wenzelm
tuned;
2015-08-06, by wenzelm
clarified signature, to make debugger.ML compile with current official ML versions;
2015-08-06, by wenzelm
support for tree selection;
2015-08-05, by wenzelm
proper dynamic update;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
more GUI components;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
more controls;
2015-08-05, by wenzelm
proper initialization;
2015-08-05, by wenzelm
tuned signature;
2015-08-05, by wenzelm
protocol support for thread debugger state;
2015-08-05, by wenzelm
eliminated clone;
2015-08-04, by wenzelm
merged
2015-08-04, by wenzelm
more symbols;
2015-08-04, by wenzelm
more symbols;
2015-08-04, by wenzelm
more documentation of coercions
2015-08-04, by traytel
merged
2015-07-30, by wenzelm
clarified management of (single) session;
2015-07-30, by wenzelm
maintain debugger output messages;
2015-07-30, by wenzelm
provide CharSequence operations as well;
2015-07-30, by wenzelm

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

isabelle