| Sun, 22 Nov 2009 14:49:36 +0100 | wenzelm | more NEWS, more tuning for release; | changeset | files |
| Sun, 22 Nov 2009 14:13:18 +0100 | wenzelm | misc tuning and updates for official release; | changeset | files |
| Sat, 21 Nov 2009 20:44:16 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 21 Nov 2009 20:41:29 +0100 | wenzelm | updated keywords; | changeset | files |
| Sat, 21 Nov 2009 18:33:55 +0100 | ballarin | Use less whitespace in documentation. | changeset | files |
| Sat, 21 Nov 2009 18:25:53 +0100 | ballarin | Publication details and minor correction of the text. | changeset | files |
| Sat, 21 Nov 2009 17:39:54 +0100 | ballarin | Removed obsolete comment. | changeset | files |