haftmann [Wed, 12 Mar 2008 17:29:09 +0100] rev 26263
dropped dangerous antiquotation
urbanc [Wed, 12 Mar 2008 11:57:12 +0100] rev 26262
tuned
haftmann [Wed, 12 Mar 2008 08:47:37 +0100] rev 26261
continued
haftmann [Wed, 12 Mar 2008 08:47:36 +0100] rev 26260
tuned
haftmann [Wed, 12 Mar 2008 08:47:35 +0100] rev 26259
better improvement in instantiation target
haftmann [Wed, 12 Mar 2008 08:45:51 +0100] rev 26258
*** empty log message ***
wenzelm [Tue, 11 Mar 2008 23:09:30 +0100] rev 26257
raw_loop: more graceful crash recovery;
wenzelm [Tue, 11 Mar 2008 22:31:09 +0100] rev 26256
added exception CONTEXT, indicating context of another exception;
exn_message: explicit context, *not* ML_Context.get_context;
toplevel_error/apply: explicit exn_context;
explicit Markup.location for exn_info (cf. at_command);
fixed spelling;
tuned;
wenzelm [Tue, 11 Mar 2008 22:31:07 +0100] rev 26255
added location;
wenzelm [Tue, 11 Mar 2008 20:30:46 +0100] rev 26254
schedule main control: more robust interrupting of potentially running threads;