| Sat, 16 Nov 2013 17:04:17 +0100 | wenzelm | obsolete; | changeset | files |
| Sat, 16 Nov 2013 16:57:09 +0100 | wenzelm | proper thy_load command 'boogie_file' -- avoid direct access to file-system; | changeset | files |
| Sat, 16 Nov 2013 13:12:02 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 16 Nov 2013 13:07:38 +0100 | wenzelm | updated example; | changeset | files |
| Sat, 16 Nov 2013 12:41:16 +0100 | wenzelm | prefer UTF8.decode_permissive; | changeset | files |
| Sat, 16 Nov 2013 12:29:10 +0100 | wenzelm | more distinctive Isabelle_Process.Output vs. Isabelle_Process.Protocol_Output; | changeset | files |
| Fri, 15 Nov 2013 19:31:10 +0100 | wenzelm | more specific Protocol_Output: empty message.body, main content via bytes/text; | changeset | files |
| Thu, 14 Nov 2013 17:39:32 +0100 | wenzelm | tuned imports; | changeset | files |