| Sat, 23 Apr 2005 19:49:01 +0200 | wenzelm | content moved to outer_syntax.ML; | changeset | files |
| Sat, 23 Apr 2005 19:48:40 +0200 | wenzelm | content moved to Pure/ROOT.ML; | changeset | files |
| Sat, 23 Apr 2005 19:48:15 +0200 | wenzelm | removed obsolete xterm token translations; | changeset | files |