| Tue, 12 Aug 2008 21:28:09 +0200 | wenzelm | OuterSyntax.scan: pass position; | changeset | files |
| Tue, 12 Aug 2008 21:28:07 +0200 | wenzelm | message: ignored if body empty; | changeset | files |
| Tue, 12 Aug 2008 21:28:05 +0200 | wenzelm | load_thy: removed obsolete dir argument; | changeset | files |
| Tue, 12 Aug 2008 21:28:03 +0200 | wenzelm | abstract type span, tuned interfaces; | changeset | files |
| Tue, 12 Aug 2008 21:28:01 +0200 | wenzelm | adapted ThyEdit operations; | changeset | files |
| Tue, 12 Aug 2008 21:27:59 +0200 | wenzelm | added ignored, malformed transitions; | changeset | files |
| Tue, 12 Aug 2008 21:27:57 +0200 | wenzelm | Symbol.source/OuterLex.source: more explicit do_recover argument; | changeset | files |