The development of Minlog can be followed on the Minlog Mailing List:
http://www2.mathematik.uni-muenchen.de/mailman/listinfo/minlog