Wed, 20 Aug 2014 17:23:47 +0200 | wenzelm | support for declaration within token source; | changeset | files |
Wed, 20 Aug 2014 16:06:10 +0200 | wenzelm | more uniform data slot; | changeset | files |
Wed, 20 Aug 2014 15:12:32 +0200 | wenzelm | default command position is only valid for default text chunk (amending dcb758188aa6); | changeset | files |
Wed, 20 Aug 2014 11:54:17 +0200 | wenzelm | tuned -- more total; | changeset | files |
Wed, 20 Aug 2014 11:51:39 +0200 | wenzelm | tuned; | changeset | files |
Wed, 20 Aug 2014 11:05:41 +0200 | wenzelm | support for nested Token.src within Token.T; | changeset | files |
Tue, 19 Aug 2014 23:17:51 +0200 | wenzelm | tuned signature -- moved type src to Token, without aliases; | changeset | files |