| Sun, 22 Apr 2012 22:01:45 +0200 | wenzelm | updated const "relcomp"; | file | diff | annotate |
| Wed, 28 Mar 2012 17:57:23 +0200 | nipkow | improved robustness with new antiquoation by Makarius | file | diff | annotate |
| Wed, 28 Mar 2012 16:12:10 +0200 | nipkow | updates | file | diff | annotate |