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

proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check;
2020-04-07, by wenzelm
tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area: JEditTextArea);
2020-04-07, by wenzelm
merged
2020-04-07, by nipkow
more automation and clarification
2020-04-07, by nipkow
merged
2020-04-07, by paulson
removed more applys
2020-04-06, by paulson
merged;
2020-04-06, by wenzelm
more robust interrupts;
2020-04-06, by wenzelm
tuned message;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
NEWS;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
more robust interrupt handling;
2020-04-06, by wenzelm
more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);
2020-04-06, by wenzelm
clarified signature;
2020-04-06, by wenzelm
clarified signature;
2020-04-06, by wenzelm
more uniform and Java-conformant: change of handler is non-blocking and interrupts should not be exposed prematurely (reverting 220d19f3e074);
2020-04-06, by wenzelm
terminate faster;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
clarified interrupt handling;
2020-04-06, by wenzelm
clarified modules;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
misc tuning and clarification;
2020-04-06, by wenzelm
more general interrupt_handler, with some cascading;
2020-04-05, by wenzelm
clarified signature;
2020-04-05, by wenzelm
a few more applys
2020-04-06, by paulson
fixed a broken frac_le proof
2020-04-06, by paulson

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

isabelle