isabelle: File revisions

src/Pure/Tools/print_operation.ML

Mon, 29 Jun 2015 20:55:46 +0200	wenzelm	improved scheduling for urgent tasks, using farm of replacement threads (may lead to factor 2 overloading, but CPUs are usually hyperthreaded);	file \| diff \| annotate
Tue, 22 Jul 2014 14:03:00 +0200	wenzelm	tuned messages;	file \| diff \| annotate
Tue, 22 Jul 2014 13:36:51 +0200	wenzelm	support multiple selected print operations instead of slightly odd "menu";	file \| diff \| annotate
Fri, 27 Jun 2014 16:04:56 +0200	wenzelm	command 'print_term_bindings' supersedes 'print_binds';	file \| diff \| annotate
Wed, 07 May 2014 10:42:19 +0200	wenzelm	tuned;	file \| diff \| annotate
Tue, 06 May 2014 23:08:18 +0200	wenzelm	clarified print_state, which goes back to TTY loop before Proof General, and before separate print_context;	file \| diff \| annotate
Mon, 05 May 2014 17:14:46 +0200	wenzelm	clarified print operations for "terms" and "theorems";	file \| diff \| annotate
Mon, 05 May 2014 16:30:19 +0200	wenzelm	more print operations;	file \| diff \| annotate
Mon, 05 May 2014 15:17:07 +0200	wenzelm	support print operations as asynchronous query;	file \| diff \| annotate

isabelle