| 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 |