Sat, 10 Jan 2009 00:24:07 +0100 simplified join_proofs;
wenzelm [Sat, 10 Jan 2009 00:24:07 +0100] rev 29420
simplified join_proofs;
Fri, 09 Jan 2009 23:39:53 +0100 merged
wenzelm [Fri, 09 Jan 2009 23:39:53 +0100] rev 29419
merged
Fri, 09 Jan 2009 23:34:36 +0100 added split_thy_path;
wenzelm [Fri, 09 Jan 2009 23:34:36 +0100] rev 29418
added split_thy_path;
Fri, 09 Jan 2009 23:33:59 +0100 added running task markup;
wenzelm [Fri, 09 Jan 2009 23:33:59 +0100] rev 29417
added running task markup;
Thu, 08 Jan 2009 13:18:34 +0100 tuned;
wenzelm [Thu, 08 Jan 2009 13:18:34 +0100] rev 29416
tuned;
Thu, 08 Jan 2009 12:15:23 +0100 merged
wenzelm [Thu, 08 Jan 2009 12:15:23 +0100] rev 29415
merged
Fri, 09 Jan 2009 19:41:33 +0100 merged
wenzelm [Fri, 09 Jan 2009 19:41:33 +0100] rev 29414
merged
Fri, 09 Jan 2009 09:49:01 -0800 merged.
huffman [Fri, 09 Jan 2009 09:49:01 -0800] rev 29413
merged.
Fri, 09 Jan 2009 09:34:49 -0800 fix proof broken by changes in dvd theory
huffman [Fri, 09 Jan 2009 09:34:49 -0800] rev 29412
fix proof broken by changes in dvd theory
Thu, 08 Jan 2009 21:13:40 -0800 merged.
huffman [Thu, 08 Jan 2009 21:13:40 -0800] rev 29411
merged.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip