| Fri, 17 Aug 2007 23:10:46 +0200 | wenzelm | removed obsolete touch_all_thys; | changeset | files |
| Fri, 17 Aug 2007 23:10:45 +0200 | wenzelm | compress: proper check_thy; | changeset | files |
| Fri, 17 Aug 2007 23:10:43 +0200 | wenzelm | added encoding spec for jEdit; | changeset | files |
| Fri, 17 Aug 2007 23:10:42 +0200 | wenzelm | proper signature; | changeset | files |