| Wed, 14 Jan 2015 16:27:19 +0100 | wenzelm | clarified build_theories: proper protocol handler; | file | diff | annotate |
| Wed, 14 Jan 2015 14:28:52 +0100 | wenzelm | clarified build_theories; | file | diff | annotate |
| Tue, 30 Dec 2014 23:45:03 +0100 | wenzelm | explicit message channel for "legacy", which is nonetheless a variant of "warning"; | file | diff | annotate |