| Wed, 15 Oct 2003 07:03:43 +0200 | kleing | use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid | changeset | files |
| Wed, 15 Oct 2003 01:58:41 +0200 | kleing | allow \<^sub> in identifiers | changeset | files |
| Wed, 15 Oct 2003 01:52:47 +0200 | kleing | included \<^sub> in the range of identifier chars | changeset | files |