| Thu, 09 Jun 2011 17:46:25 +0200 | wenzelm | some attempts at robust \isaspacing so that \isa{...} can be used in section headings etc. (need to avoid `\? for some reason); | changeset | files |
| Thu, 09 Jun 2011 16:34:49 +0200 | wenzelm | discontinued Name.variant to emphasize that this is old-style / indirect; | changeset | files |
| Thu, 09 Jun 2011 15:38:49 +0200 | wenzelm | prefer new-style Name.invents; | changeset | files |