Thu, 02 Feb 2012 17:52:16 +0100 discontinued obscure history commands;
wenzelm [Thu, 02 Feb 2012 17:52:16 +0100] rev 46281
discontinued obscure history commands;
Thu, 02 Feb 2012 16:38:15 +0100 misc tuning and reformatting;
wenzelm [Thu, 02 Feb 2012 16:38:15 +0100] rev 46280
misc tuning and reformatting;
Thu, 02 Feb 2012 16:07:25 +0100 discontinued obscure history commands;
wenzelm [Thu, 02 Feb 2012 16:07:25 +0100] rev 46279
discontinued obscure history commands;
Sun, 29 Jan 2012 22:12:25 +0100 updated hint about asm_rl;
wenzelm [Sun, 29 Jan 2012 22:12:25 +0100] rev 46278
updated hint about asm_rl;
Sun, 29 Jan 2012 22:00:10 +0100 updated thin_tac;
wenzelm [Sun, 29 Jan 2012 22:00:10 +0100] rev 46277
updated thin_tac;
Sun, 29 Jan 2012 21:40:29 +0100 updated distinct_subgoals_tac, flexflex_tac;
wenzelm [Sun, 29 Jan 2012 21:40:29 +0100] rev 46276
updated distinct_subgoals_tac, flexflex_tac;
Sun, 29 Jan 2012 21:26:09 +0100 removed obscure material;
wenzelm [Sun, 29 Jan 2012 21:26:09 +0100] rev 46275
removed obscure material;
Sun, 29 Jan 2012 21:04:39 +0100 updated rotate_tac;
wenzelm [Sun, 29 Jan 2012 21:04:39 +0100] rev 46274
updated rotate_tac;
Fri, 27 Jan 2012 21:56:29 +0100 tuned;
wenzelm [Fri, 27 Jan 2012 21:56:29 +0100] rev 46273
tuned;
Fri, 27 Jan 2012 21:48:40 +0100 updated citations;
wenzelm [Fri, 27 Jan 2012 21:48:40 +0100] rev 46272
updated citations;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip