wenzelm [Sun, 28 Dec 2014 12:18:01 +0100] rev 59191
more thorough Lazy.is_finished;
kleing [Sun, 28 Dec 2014 15:42:34 +1100] rev 59190
3 old example lemmas by Amine listed in the top 100 theorems
wenzelm [Sat, 27 Dec 2014 20:32:06 +0100] rev 59189
update_cartouches;
trimmed whitespace;
wenzelm [Sat, 27 Dec 2014 19:51:55 +0100] rev 59188
memo_fork without locking, to avoid rare deadlock in Event_Timer.request due to execution overrun;
haftmann [Wed, 24 Dec 2014 10:06:37 +0100] rev 59187
typos
wenzelm [Tue, 23 Dec 2014 21:14:44 +0100] rev 59186
unused;
wenzelm [Tue, 23 Dec 2014 21:04:53 +0100] rev 59185
tuned message;
wenzelm [Tue, 23 Dec 2014 20:46:42 +0100] rev 59184
explicit message channels for "state", "information";
separate state_message_color;
wenzelm [Tue, 23 Dec 2014 16:00:38 +0100] rev 59183
imitate font more carefully: err on smaller size;
imitate HTML font, notably for Sidekick where short string is also shown as view status message;
wenzelm [Mon, 22 Dec 2014 21:34:11 +0100] rev 59182
more accurate selection of sessions;
wenzelm [Mon, 22 Dec 2014 21:27:59 +0100] rev 59181
more accurate selection of sessions;
wenzelm [Mon, 22 Dec 2014 20:40:37 +0100] rev 59180
discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
wenzelm [Mon, 22 Dec 2014 19:47:58 +0100] rev 59179
more elementary Multithreading.synchronized;
wenzelm [Mon, 22 Dec 2014 18:10:54 +0100] rev 59178
proper Synchronized.var;
more atomic operations;
wenzelm [Mon, 22 Dec 2014 17:17:00 +0100] rev 59177
removed remains from Proof General;
wenzelm [Mon, 22 Dec 2014 16:44:54 +0100] rev 59176
obsolete;
wenzelm [Mon, 22 Dec 2014 16:44:24 +0100] rev 59175
system option "pretty_margin" is superseded by "thy_output_margin";
wenzelm [Mon, 22 Dec 2014 15:50:16 +0100] rev 59174
tuned;
wenzelm [Mon, 22 Dec 2014 14:35:42 +0100] rev 59173
proper Synchronized.var;
wenzelm [Mon, 22 Dec 2014 14:33:53 +0100] rev 59172
separate module Random;
proper Synchronized.var;
wenzelm [Sun, 21 Dec 2014 22:49:40 +0100] rev 59171
tuned;
wenzelm [Sun, 21 Dec 2014 22:49:17 +0100] rev 59170
tuned signature;
wenzelm [Sun, 21 Dec 2014 19:14:16 +0100] rev 59169
proper context;
wenzelm [Sun, 21 Dec 2014 16:27:22 +0100] rev 59168
afford more heap;
wenzelm [Sun, 21 Dec 2014 16:26:22 +0100] rev 59167
increase chances of success;
wenzelm [Sun, 21 Dec 2014 15:59:19 +0100] rev 59166
recovered metis proof after 115965966e15 (Odd clash of type variables!?);
wenzelm [Sun, 21 Dec 2014 15:03:45 +0100] rev 59165
proper context;
wenzelm [Sat, 20 Dec 2014 22:23:37 +0100] rev 59164
proper context for "net" tactics;
avoid implicit Tactic.build_net -- make its operational behavior explicit in application;