Sat, 15 May 2010 23:40:00 +0200 renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
wenzelm [Sat, 15 May 2010 23:40:00 +0200] rev 36953
renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
Sat, 15 May 2010 23:32:15 +0200 renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;
wenzelm [Sat, 15 May 2010 23:32:15 +0200] rev 36952
renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;
Sat, 15 May 2010 23:23:45 +0200 renamed structure ValueParse to Parse_Value;
wenzelm [Sat, 15 May 2010 23:23:45 +0200] rev 36951
renamed structure ValueParse to Parse_Value; eliminated old-style structure alias V;
Sat, 15 May 2010 23:16:32 +0200 refer directly to structure Keyword and Parse;
wenzelm [Sat, 15 May 2010 23:16:32 +0200] rev 36950
refer directly to structure Keyword and Parse; eliminated old-style structure aliases K and P;
Sat, 15 May 2010 22:24:25 +0200 renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;
wenzelm [Sat, 15 May 2010 22:24:25 +0200] rev 36949
renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;
Sat, 15 May 2010 22:15:57 +0200 renamed Outer_Parse to Parse (in Scala);
wenzelm [Sat, 15 May 2010 22:15:57 +0200] rev 36948
renamed Outer_Parse to Parse (in Scala);
Sat, 15 May 2010 22:05:49 +0200 renamed Outer_Keyword to Keyword (in Scala);
wenzelm [Sat, 15 May 2010 22:05:49 +0200] rev 36947
renamed Outer_Keyword to Keyword (in Scala);
Sat, 15 May 2010 21:57:27 +0200 avoid open Conv;
wenzelm [Sat, 15 May 2010 21:57:27 +0200] rev 36946
avoid open Conv;
Sat, 15 May 2010 21:50:05 +0200 less pervasive names from structure Thm;
wenzelm [Sat, 15 May 2010 21:50:05 +0200] rev 36945
less pervasive names from structure Thm;
Sat, 15 May 2010 21:41:32 +0200 less pervasive names from structure Thm;
wenzelm [Sat, 15 May 2010 21:41:32 +0200] rev 36944
less pervasive names from structure Thm;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip