2011-07-12 wenzelm 2011-07-12 allow empty body for raw_message -- important for Invoke_Scala;
2011-07-12 wenzelm 2011-07-12 Isabelle string syntax allows literal control characters;
2011-07-12 wenzelm 2011-07-12 glyphs from DejaVu for ASCII control characters 5, 6, 7, 127, which have a special meaning in Isabelle or Poly/ML;
2011-07-12 wenzelm 2011-07-12 more precise exceptions;
2011-07-12 wenzelm 2011-07-12 tuned XML modules;
2011-07-12 Cezary Kaliszyk 2011-07-12 Quotient example: Lists with distinct elements
2011-07-11 wenzelm 2011-07-11 merged
2011-07-11 haftmann 2011-07-11 explicit code equation for equality
2011-07-11 wenzelm 2011-07-11 tuned error messages;
2011-07-11 wenzelm 2011-07-11 tuned;
2011-07-11 wenzelm 2011-07-11 tuned signature -- corresponding to Scala version;
2011-07-11 wenzelm 2011-07-11 made SML/NJ happy; tuned error;
2011-07-11 wenzelm 2011-07-11 more uniform padded_markup, which is important for caret visibility despite absence of markup;
2011-07-11 wenzelm 2011-07-11 merged
2011-07-11 haftmann 2011-07-11 merged
2011-07-10 haftmann 2011-07-10 tuned proofs
2011-07-10 haftmann 2011-07-10 tuned notation
2011-07-10 haftmann 2011-07-10 tuned notation
2011-07-10 haftmann 2011-07-10 tuned notation
2011-07-11 wenzelm 2011-07-11 NEWS;
2011-07-11 wenzelm 2011-07-11 proper InvocationTargetException.getCause for indirect exceptions; capture hard errors to ensure protocol integrity; tuned error messages;
2011-07-11 wenzelm 2011-07-11 tuned error message;
2011-07-11 wenzelm 2011-07-11 tuned signature;
2011-07-11 wenzelm 2011-07-11 JVM method invocation service via Scala layer;
2011-07-11 wenzelm 2011-07-11 tuned signature;
2011-07-11 wenzelm 2011-07-11 some support for raw messages, which bypass standard Symbol/YXML decoding; tuned signature;
2011-07-11 wenzelm 2011-07-11 tuned XML.Cache parameters;
2011-07-10 wenzelm 2011-07-10 some support to invoke Scala methods under program control;
2011-07-10 wenzelm 2011-07-10 merged;
2011-07-10 haftmann 2011-07-10 merged
2011-07-10 haftmann 2011-07-10 tuned proofs and notation
2011-07-10 haftmann 2011-07-10 more succinct proofs
2011-07-10 haftmann 2011-07-10 more succinct proofs
2011-07-10 bulwahn 2011-07-10 adding a very liberal timeout for values after a test case failed due to the restricted timeout
2011-07-10 bulwahn 2011-07-10 improved NEWS
2011-07-09 bulwahn 2011-07-09 NEWS
2011-07-09 bulwahn 2011-07-09 standardized String.concat towards implode (cf. c37a1f29bbc0)
2011-07-09 bulwahn 2011-07-09 adding quickcheck examples for evaluating floor and ceiling functions
2011-07-09 bulwahn 2011-07-09 adding code equations to execute floor and ceiling on rational and real numbers
2011-07-09 bulwahn 2011-07-09 adding a floor_ceiling type class for different instantiations of floor (changeset from Brian Huffman)
2011-07-10 wenzelm 2011-07-10 inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); tuned signature;
2011-07-10 wenzelm 2011-07-10 lambda terms with XML data representation in Scala; avoid `class` in signature;
2011-07-10 wenzelm 2011-07-10 XML data representation of lambda terms;
2011-07-10 wenzelm 2011-07-10 YXML.string_of_body convenience;
2011-07-10 wenzelm 2011-07-10 made SML/NJ happy;
2011-07-10 wenzelm 2011-07-10 tuned signature;
2011-07-10 wenzelm 2011-07-10 more abstract signature; tuned;
2011-07-10 wenzelm 2011-07-10 simplified XML_Data;
2011-07-10 wenzelm 2011-07-10 less currying in Scala;
2011-07-10 wenzelm 2011-07-10 propagate header changes to prover process; simplified Document case classes; Document.State.assignments: indexed by Version_ID;
2011-07-09 wenzelm 2011-07-09 echo prover input via raw_messages, for improved protocol tracing;
2011-07-09 wenzelm 2011-07-09 tuned;
2011-07-09 wenzelm 2011-07-09 tuned signature;
2011-07-09 wenzelm 2011-07-09 clarified propagation of node name and header;
2011-07-09 wenzelm 2011-07-09 more precise treatment of prover definedness;
2011-07-09 wenzelm 2011-07-09 tuned source structure;
2011-07-09 wenzelm 2011-07-09 some support for blobs (arbitrary text files) within document nodes;
2011-07-09 wenzelm 2011-07-09 tuned signature;
2011-07-08 wenzelm 2011-07-08 moved global state to structure Document (again);
2011-07-08 wenzelm 2011-07-08 moved Outer_Syntax.load_thy to Thy_Load.load_thy; tuned signatures; tuned module dependencies;