| Mon, 12 Nov 2012 12:06:56 +0100 | blanchet | avoid messing too much with output of "string_of_term", so that it doesn't break the yxml encoding for jEdit | changeset | files |
| Mon, 12 Nov 2012 11:52:37 +0100 | blanchet | centralized term printing code | changeset | files |
| Mon, 12 Nov 2012 11:32:22 +0100 | blanchet | thread context correctly when printing backquoted facts | changeset | files |
| Sun, 11 Nov 2012 19:56:02 +0100 | haftmann | dropped dead code; | changeset | files |
| Sun, 11 Nov 2012 19:24:01 +0100 | haftmann | modernized, simplified and compacted oracle and proof method glue code; | changeset | files |
| Fri, 09 Nov 2012 19:21:47 +0100 | nipkow | merged | changeset | files |