Tue, 02 Jun 2009 22:55:13 +0200 merged; resolved superficial conflicts
immler@in.tum.de [Tue, 02 Jun 2009 22:55:13 +0200] rev 34597
merged; resolved superficial conflicts
Tue, 02 Jun 2009 22:22:03 +0200 linearset works faster here
immler@in.tum.de [Tue, 02 Jun 2009 22:22:03 +0200] rev 34596
linearset works faster here
Tue, 02 Jun 2009 19:40:20 +0200 lists work faster here
immler@in.tum.de [Tue, 02 Jun 2009 19:40:20 +0200] rev 34595
lists work faster here
Tue, 02 Jun 2009 19:00:58 +0200 fixed duplicate document-id
immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34594
fixed duplicate document-id
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip