| Thu, 13 Oct 2011 23:02:59 +0200 | haftmann | moved acyclic predicate up in hierarchy | changeset | files |
| Thu, 13 Oct 2011 22:56:19 +0200 | haftmann | tuned | changeset | files |
| Thu, 13 Oct 2011 22:56:19 +0200 | haftmann | modernized definitions | changeset | files |
| Thu, 13 Oct 2011 22:50:35 +0200 | wenzelm | static dummy_task (again) to avoid a few extra allocations; | changeset | files |
| Thu, 13 Oct 2011 13:49:55 +0200 | noschinl | tuned markup | changeset | files |
| Thu, 13 Oct 2011 11:45:33 +0200 | wenzelm | discontinued obsolete 'types' command; | changeset | files |