| Sun, 02 Nov 2014 17:36:52 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Wed, 28 Aug 2013 00:18:50 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 11 Jul 2013 14:56:58 +0200 | wenzelm | more precise fact declarations -- fewer warnings; | file | diff | annotate |