| Thu, 02 Apr 2015 20:07:05 +0200 | wenzelm | export for informative purposes; | changeset | files |
| Thu, 02 Apr 2015 11:22:24 +0200 | haftmann | sort constraints are inherent part of class abbreviations (in contrast to class constants) | changeset | files |
| Thu, 02 Apr 2015 11:22:22 +0200 | haftmann | semidom contains distributive minus, by convention | changeset | files |
| Thu, 02 Apr 2015 14:11:00 +0200 | wenzelm | clarified method_closure; | changeset | files |
| Thu, 02 Apr 2015 12:24:30 +0200 | wenzelm | operation on embedded sources for Eisbach; | changeset | files |
| Thu, 02 Apr 2015 11:41:14 +0200 | wenzelm | tuned signature; | changeset | files |