Sat, 07 Jun 2014 21:49:17 +0200 | haftmann | treat non-canonical interpretations of classes the same way as ordinary locale interpretations | changeset | files |
Sat, 07 Jun 2014 08:16:03 +0200 | haftmann | tuned | changeset | files |
Sat, 07 Jun 2014 08:16:03 +0200 | haftmann | avoid odd Named_Target.reinit altogether | changeset | files |