aspinall [Thu, 23 Nov 2006 22:14:26 +0100] rev 21503
Accept URLs of form file:/home... also.
wenzelm [Thu, 23 Nov 2006 20:34:21 +0100] rev 21502
prefer antiquotations over LaTeX macros;
wenzelm [Thu, 23 Nov 2006 20:33:42 +0100] rev 21501
updated;
wenzelm [Thu, 23 Nov 2006 20:33:41 +0100] rev 21500
renamed Args.Name to Args.Text;
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;
wenzelm [Thu, 23 Nov 2006 20:33:37 +0100] rev 21498
uniform interface for type_syntax/term_syntax/declaration, dependent on morphism;
wenzelm [Thu, 23 Nov 2006 20:33:36 +0100] rev 21497
Morphism.thm_morphism;
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;
wenzelm [Thu, 23 Nov 2006 20:33:33 +0100] rev 21495
removed obsolete alphanum;
wenzelm [Thu, 23 Nov 2006 20:33:32 +0100] rev 21494
str_of_char: improved output of non-printables;