Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
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
less
more
(0)
tip