Thu, 23 Nov 2006 20:33:42 +0100 updated;
wenzelm [Thu, 23 Nov 2006 20:33:42 +0100] rev 21501
updated;
Thu, 23 Nov 2006 20:33:41 +0100 renamed Args.Name to Args.Text;
wenzelm [Thu, 23 Nov 2006 20:33:41 +0100] rev 21500
renamed Args.Name to Args.Text;
Thu, 23 Nov 2006 20:33:39 +0100 uniform interface for type_syntax/term_syntax/declaration, dependent on morphism;
wenzelm [Thu, 23 Nov 2006 20:33:39 +0100] rev 21499
uniform interface for type_syntax/term_syntax/declaration, dependent on morphism; tuned some morphisms;
Thu, 23 Nov 2006 20:33:37 +0100 uniform interface for type_syntax/term_syntax/declaration, dependent on morphism;
wenzelm [Thu, 23 Nov 2006 20:33:37 +0100] rev 21498
uniform interface for type_syntax/term_syntax/declaration, dependent on morphism;
Thu, 23 Nov 2006 20:33:36 +0100 Morphism.thm_morphism;
wenzelm [Thu, 23 Nov 2006 20:33:36 +0100] rev 21497
Morphism.thm_morphism;
Thu, 23 Nov 2006 20:33:34 +0100 renamed Name value to Text, which is *not* a name in terms of morphisms;
wenzelm [Thu, 23 Nov 2006 20:33:34 +0100] rev 21496
renamed Name value to Text, which is *not* a name in terms of morphisms;
Thu, 23 Nov 2006 20:33:33 +0100 removed obsolete alphanum;
wenzelm [Thu, 23 Nov 2006 20:33:33 +0100] rev 21495
removed obsolete alphanum;
Thu, 23 Nov 2006 20:33:32 +0100 str_of_char: improved output of non-printables;
wenzelm [Thu, 23 Nov 2006 20:33:32 +0100] rev 21494
str_of_char: improved output of non-printables;
Thu, 23 Nov 2006 20:33:29 +0100 added head_name_of;
wenzelm [Thu, 23 Nov 2006 20:33:29 +0100] rev 21493
added head_name_of;
Thu, 23 Nov 2006 20:33:28 +0100 added name/var/typ/term/thm_morphism;
wenzelm [Thu, 23 Nov 2006 20:33:28 +0100] rev 21492
added name/var/typ/term/thm_morphism; removed transfer;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip