| Sun, 15 Feb 2009 21:26:25 +0100 | wenzelm | explicit section for old/outdated manuals, which are still informative to some extent; | changeset | files |
| Sun, 15 Feb 2009 18:56:13 +0100 | wenzelm | updated generated files; | changeset | files |
| Sun, 15 Feb 2009 18:54:50 +0100 | wenzelm | added introduction; | changeset | files |
| Sun, 15 Feb 2009 18:54:00 +0100 | wenzelm | added label; | changeset | files |
| Sun, 15 Feb 2009 18:53:41 +0100 | wenzelm | removed obsolete section "User interfaces"; | changeset | files |
| Sun, 15 Feb 2009 18:50:51 +0100 | wenzelm | tuned spacing; | changeset | files |
| Sun, 15 Feb 2009 18:11:35 +0100 | wenzelm | tuned; | changeset | files |