| Sun, 13 Jul 2008 18:08:55 +0100 | anselm | applied anydot's urgency hint patch, thanks! | file | diff | annotate |
| Thu, 03 Jul 2008 17:05:56 +0100 | Anselm R Garbe | renamed eprint die | file | diff | annotate |
| Thu, 03 Jul 2008 10:58:35 +0100 | Anselm R Garbe | simplified detach() | file | diff | annotate |