| Sat, 15 May 2010 23:23:45 +0200 | wenzelm | renamed structure ValueParse to Parse_Value; | changeset | files |
| Sat, 15 May 2010 23:16:32 +0200 | wenzelm | refer directly to structure Keyword and Parse; | changeset | files |
| Sat, 15 May 2010 22:24:25 +0200 | wenzelm | renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time; | changeset | files |
| Sat, 15 May 2010 22:15:57 +0200 | wenzelm | renamed Outer_Parse to Parse (in Scala); | changeset | files |
| Sat, 15 May 2010 22:05:49 +0200 | wenzelm | renamed Outer_Keyword to Keyword (in Scala); | changeset | files |
| Sat, 15 May 2010 21:57:27 +0200 | wenzelm | avoid open Conv; | changeset | files |
| Sat, 15 May 2010 21:50:05 +0200 | wenzelm | less pervasive names from structure Thm; | changeset | files |