| Fri, 22 Feb 2013 14:39:12 +0100 | wenzelm | updated headers; | file | diff | annotate |
| Fri, 15 Feb 2013 08:31:31 +0100 | haftmann | less customary term_of conversions; | file | diff | annotate |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | tuned, particulary name | file | diff | annotate | base |