wenzelm [Mon, 28 Dec 2009 20:01:43 +0100] rev 34199
system shutdown hook: strict kill;
wenzelm [Mon, 28 Dec 2009 18:40:13 +0100] rev 34198
moved Library.decode_permissive_utf8 to Isabelle_System;
moved Library.with_tmp_file to Isabelle_System;
added Isabelle_System.read_file/write_file;
added Isabelle_System.system_out, with propagation of thread interrupts and process shutdown (global CTRL-C);
wenzelm [Mon, 28 Dec 2009 18:37:11 +0100] rev 34197
pid without newline -- required for Scala version of system_out;
wenzelm [Mon, 28 Dec 2009 16:45:01 +0100] rev 34196
higher-order treatment of temporary files;
wenzelm [Mon, 28 Dec 2009 16:24:19 +0100] rev 34195
isabelle_tool: apply platform_path only once;
tuned;
wenzelm [Mon, 28 Dec 2009 14:51:03 +0100] rev 34194
slightly more paranoid cleanup of process (cf. http://kylecartmell.com/?p=9 "Five Common java.lang.Process Pitfalls");
wenzelm [Mon, 28 Dec 2009 13:40:30 +0100] rev 34193
some sanity checks for symbol interpretation;
wenzelm [Sun, 27 Dec 2009 23:10:03 +0100] rev 34192
allow UTF-8 in theory and file names;
wenzelm [Sun, 27 Dec 2009 23:09:16 +0100] rev 34191
factored-out Library.decode_permissive_utf8;
wenzelm [Sun, 27 Dec 2009 22:36:47 +0100] rev 34190
read header by scanning/parsing file;
wenzelm [Sun, 27 Dec 2009 22:16:41 +0100] rev 34189
quoted_content: handle escapes;
wenzelm [Sun, 27 Dec 2009 21:34:23 +0100] rev 34188
scan: operate on file (via Scan.byte_reader), more robust exception handling;
wenzelm [Sun, 27 Dec 2009 21:33:35 +0100] rev 34187
added byte_reader, which works without decoding and enables efficient length operation (for scala.util.parsing.input.Reader);
wenzelm [Sun, 27 Dec 2009 21:30:54 +0100] rev 34186
removed unused read_file;
paulson [Thu, 24 Dec 2009 17:30:55 +0000] rev 34185
tidied proofs
haftmann [Thu, 24 Dec 2009 11:05:58 +0100] rev 34184
made sml/nj happy
boehmes [Wed, 23 Dec 2009 17:37:42 +0100] rev 34183
updated certificates
boehmes [Wed, 23 Dec 2009 17:36:26 +0100] rev 34182
updated example
boehmes [Wed, 23 Dec 2009 17:35:56 +0100] rev 34181
merged verification condition structure and term representation in one datatype,
extended the set of operations on verification conditions (retrieve more information, advanced splitting of paths),
simplified discharging of verification conditions (due to improved datatype),
added variantions of commands (extract different parts of verification conditions, scan until first "hard" assertion)
haftmann [Wed, 23 Dec 2009 11:33:01 +0100] rev 34180
merged
haftmann [Wed, 23 Dec 2009 11:32:40 +0100] rev 34179
updated generated document sources
haftmann [Wed, 23 Dec 2009 11:32:08 +0100] rev 34178
take care for destructive print mode properly using dedicated pretty builders
wenzelm [Wed, 23 Dec 2009 10:41:13 +0100] rev 34177
merged
haftmann [Wed, 23 Dec 2009 10:09:06 +0100] rev 34176
made sml/nj happy