| Sun, 15 Mar 2015 22:05:08 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 15 Jan 2015 12:54:08 +0100 | wenzelm | more informative build_theories_result: cumulative Runtime.exn_message; | file | diff | annotate |
| Wed, 14 Jan 2015 17:24:55 +0100 | wenzelm | more type-safe handler interface; | file | diff | annotate |
| 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 |