Sun, 07 Jun 2015 12:55:42 +0200 tuned;
wenzelm [Sun, 07 Jun 2015 12:55:42 +0200] rev 60375
tuned;
Sun, 07 Jun 2015 12:55:28 +0200 tuned;
wenzelm [Sun, 07 Jun 2015 12:55:28 +0200] rev 60374
tuned;
Sun, 07 Jun 2015 12:43:06 +0200 tuned whitespace;
wenzelm [Sun, 07 Jun 2015 12:43:06 +0200] rev 60373
tuned whitespace;
Sat, 06 Jun 2015 13:38:24 +0200 more tight treatment of subgoals: main goal may refer to extra variables;
wenzelm [Sat, 06 Jun 2015 13:38:24 +0200] rev 60372
more tight treatment of subgoals: main goal may refer to extra variables;
Fri, 05 Jun 2015 13:41:06 +0200 added Isar command 'supply';
wenzelm [Fri, 05 Jun 2015 13:41:06 +0200] rev 60371
added Isar command 'supply';
Fri, 05 Jun 2015 13:26:12 +0200 tuned;
wenzelm [Fri, 05 Jun 2015 13:26:12 +0200] rev 60370
tuned;
Fri, 05 Jun 2015 11:11:26 +0200 clarified signature -- better support for Isar commands outside of Pure;
wenzelm [Fri, 05 Jun 2015 11:11:26 +0200] rev 60369
clarified signature -- better support for Isar commands outside of Pure;
Wed, 03 Jun 2015 21:48:40 +0200 merged
wenzelm [Wed, 03 Jun 2015 21:48:40 +0200] rev 60368
merged
Wed, 03 Jun 2015 19:25:05 +0200 clarified context;
wenzelm [Wed, 03 Jun 2015 19:25:05 +0200] rev 60367
clarified context;
Tue, 02 Jun 2015 23:00:50 +0200 tuned;
wenzelm [Tue, 02 Jun 2015 23:00:50 +0200] rev 60366
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip