Tue, 02 Jun 2009 19:00:58 +0200 ignore unchanged commands
immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34593
ignore unchanged commands
Tue, 02 Jun 2009 19:00:58 +0200 ignore unchanged tokens
immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34592
ignore unchanged tokens
Tue, 02 Jun 2009 19:00:58 +0200 split change on activate
immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34591
split change on activate
Tue, 02 Jun 2009 19:00:58 +0200 return unchanged node on errors
immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34590
return unchanged node on errors
Tue, 02 Jun 2009 23:37:36 +0200 handle_result: activate via explicit status "ready" (cf. http://isabelle.in.tum.de/repos/isabelle/rev/ce169bd37fc0);
wenzelm [Tue, 02 Jun 2009 23:37:36 +0200] rev 34589
handle_result: activate via explicit status "ready" (cf. http://isabelle.in.tum.de/repos/isabelle/rev/ce169bd37fc0); tuned;
Tue, 02 Jun 2009 22:31:58 +0200 superficial tuning;
wenzelm [Tue, 02 Jun 2009 22:31:58 +0200] rev 34588
superficial tuning;
Tue, 02 Jun 2009 22:00:28 +0200 updated versions;
wenzelm [Tue, 02 Jun 2009 22:00:28 +0200] rev 34587
updated versions;
Tue, 02 Jun 2009 21:46:32 +0200 type_at: no quotes;
wenzelm [Tue, 02 Jun 2009 21:46:32 +0200] rev 34586
type_at: no quotes;
Tue, 02 Jun 2009 21:44:16 +0200 tuned;
wenzelm [Tue, 02 Jun 2009 21:44:16 +0200] rev 34585
tuned;
Tue, 02 Jun 2009 21:36:22 +0200 use RichString.* to produce blanks;
wenzelm [Tue, 02 Jun 2009 21:36:22 +0200] rev 34584
use RichString.* to produce blanks;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip