Wed, 28 Nov 2012 16:09:05 +0100 | wenzelm | prefer tight Markup.print_int/parse_int for property values; | changeset | files |
Wed, 28 Nov 2012 16:07:17 +0100 | wenzelm | clarified new identifier syntax: exclude \<^isup>, include subscripted prime (to allow imitating full identifier here); | changeset | files |
Wed, 28 Nov 2012 15:59:18 +0100 | wenzelm | eliminated slightly odd identifiers; | changeset | files |
Wed, 28 Nov 2012 15:38:12 +0100 | wenzelm | tuned syntax, potentially more robust; | changeset | files |
Wed, 28 Nov 2012 14:55:46 +0100 | wenzelm | smarter list layout; | changeset | files |
Tue, 27 Nov 2012 20:01:57 +0100 | wenzelm | repaired text following 491c5c81c2e8; | changeset | files |
Tue, 27 Nov 2012 19:43:00 +0100 | wenzelm | merged | changeset | files |