| 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 |
| Tue, 23 Dec 2014 21:14:44 +0100 | wenzelm | unused; | file | diff | annotate |
| Tue, 23 Dec 2014 20:46:42 +0100 | wenzelm | explicit message channels for "state", "information"; | file | diff | annotate |
| Mon, 08 Dec 2014 22:42:12 +0100 | wenzelm | expand ML cartouches to Input.source; | file | diff | annotate |