Thu, 14 Jan 2010 17:06:35 +0100 removed the Nitpick code that loaded the "Nitpick" theory explicitly if it's not already loaded, because this didn't work properly and is of doubtful value
blanchet [Thu, 14 Jan 2010 17:06:35 +0100] rev 34935
removed the Nitpick code that loaded the "Nitpick" theory explicitly if it's not already loaded, because this didn't work properly and is of doubtful value
Tue, 19 Jan 2010 17:53:11 +0100 Added transpose_rectangle, when the input list is rectangular.
hoelzl [Tue, 19 Jan 2010 17:53:11 +0100] rev 34934
Added transpose_rectangle, when the input list is rectangular.
Tue, 19 Jan 2010 16:52:01 +0100 Add transpose to the List-theory.
hoelzl [Tue, 19 Jan 2010 16:52:01 +0100] rev 34933
Add transpose to the List-theory.
Tue, 02 Feb 2010 21:37:27 +0100 some examples for basic context operations;
wenzelm [Tue, 02 Feb 2010 21:37:27 +0100] rev 34932
some examples for basic context operations;
Tue, 02 Feb 2010 13:22:36 +0100 minimal tuning of this slightly dated material;
wenzelm [Tue, 02 Feb 2010 13:22:36 +0100] rev 34931
minimal tuning of this slightly dated material;
Tue, 02 Feb 2010 13:11:04 +0100 added Subgoal.FOCUS;
wenzelm [Tue, 02 Feb 2010 13:11:04 +0100] rev 34930
added Subgoal.FOCUS; misc tuning and clarification;
Tue, 02 Feb 2010 12:37:57 +0100 misc tuning and clarification;
wenzelm [Tue, 02 Feb 2010 12:37:57 +0100] rev 34929
misc tuning and clarification;
Tue, 02 Feb 2010 11:47:49 +0100 moved examples to proper place;
wenzelm [Tue, 02 Feb 2010 11:47:49 +0100] rev 34928
moved examples to proper place;
Mon, 01 Feb 2010 22:46:12 +0100 more details on long names, binding/naming, name space;
wenzelm [Mon, 01 Feb 2010 22:46:12 +0100] rev 34927
more details on long names, binding/naming, name space; tuned;
Sun, 31 Jan 2010 22:08:25 +0100 Variable.names_of;
wenzelm [Sun, 31 Jan 2010 22:08:25 +0100] rev 34926
Variable.names_of; tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip