| Wed, 03 Jul 2013 22:30:33 +0200 | wenzelm | more print function parameters; | changeset | files |
| Wed, 03 Jul 2013 21:55:15 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 03 Jul 2013 21:38:10 +0200 | wenzelm | discontinued odd workaround for some old Poly/ML, which is still supported but of little practical relevance; | changeset | files |
| Wed, 03 Jul 2013 21:32:58 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 03 Jul 2013 17:50:47 +0200 | wenzelm | allow multiple print functions; | changeset | files |
| Wed, 03 Jul 2013 16:58:35 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 Jul 2013 16:19:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 Jul 2013 15:19:36 +0200 | wenzelm | tuned; | changeset | files |