| Fri, 22 Aug 2014 11:28:51 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 21 Aug 2014 23:54:27 +0200 | wenzelm | clarified Method.section: explicit declaration with static closure; | changeset | files |
| Thu, 21 Aug 2014 22:48:39 +0200 | wenzelm | tuned signature -- define some elementary operations earlier; | changeset | files |
| Thu, 21 Aug 2014 13:46:29 +0200 | wenzelm | discontinued odd "temporary" workaround from 2006 (6ac7a4fc32a0), which has no measurable relevance; | changeset | files |
| Thu, 21 Aug 2014 13:31:31 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 21 Aug 2014 10:07:06 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 21 Aug 2014 09:48:59 +0200 | wenzelm | tuned; | changeset | files |