Thu, 29 Nov 2001 01:51:06 +0100 | wenzelm | RuleContext.intro_query_local; | changeset | files |
Thu, 29 Nov 2001 01:50:50 +0100 | wenzelm | rule context and attributes moved to rule_context.ML; | changeset | files |
Thu, 29 Nov 2001 01:50:19 +0100 | wenzelm | qualify_elem: do not qualify empty names (""); | changeset | files |