Sun, 27 Dec 2009 22:36:47 +0100 read header by scanning/parsing file;
wenzelm [Sun, 27 Dec 2009 22:36:47 +0100] rev 34190
read header by scanning/parsing file;
Sun, 27 Dec 2009 22:16:41 +0100 quoted_content: handle escapes;
wenzelm [Sun, 27 Dec 2009 22:16:41 +0100] rev 34189
quoted_content: handle escapes;
Sun, 27 Dec 2009 21:34:23 +0100 scan: operate on file (via Scan.byte_reader), more robust exception handling;
wenzelm [Sun, 27 Dec 2009 21:34:23 +0100] rev 34188
scan: operate on file (via Scan.byte_reader), more robust exception handling;
Sun, 27 Dec 2009 21:33:35 +0100 added byte_reader, which works without decoding and enables efficient length operation (for scala.util.parsing.input.Reader);
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);
Sun, 27 Dec 2009 21:30:54 +0100 removed unused read_file;
wenzelm [Sun, 27 Dec 2009 21:30:54 +0100] rev 34186
removed unused read_file;
Thu, 24 Dec 2009 17:30:55 +0000 tidied proofs
paulson [Thu, 24 Dec 2009 17:30:55 +0000] rev 34185
tidied proofs
Thu, 24 Dec 2009 11:05:58 +0100 made sml/nj happy
haftmann [Thu, 24 Dec 2009 11:05:58 +0100] rev 34184
made sml/nj happy
Wed, 23 Dec 2009 17:37:42 +0100 updated certificates
boehmes [Wed, 23 Dec 2009 17:37:42 +0100] rev 34183
updated certificates
Wed, 23 Dec 2009 17:36:26 +0100 updated example
boehmes [Wed, 23 Dec 2009 17:36:26 +0100] rev 34182
updated example
Wed, 23 Dec 2009 17:35:56 +0100 merged verification condition structure and term representation in one datatype,
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)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip