2011-07-13 wenzelm 2011-07-13 XML.pretty with depth limit;
2011-07-12 wenzelm 2011-07-12 more thorough Variable.check_name: Binding.check for logical entities within the term language;
2011-07-12 wenzelm 2011-07-12 tuned;
2011-07-12 wenzelm 2011-07-12 merged
2011-07-13 Cezary Kaliszyk 2011-07-13 Update HOLLightCompat
2011-07-13 Cezary Kaliszyk 2011-07-13 Update files generated in HOL/Import/HOLLight
2011-07-13 Cezary Kaliszyk 2011-07-13 HOL/Import for HOLLight revival: Proper theory headers, update generation scripts to SVN version of HOL Light, add some constant maps and compatibility theorems
2011-07-12 wenzelm 2011-07-12 ML pp for XML.tree;
2011-07-12 wenzelm 2011-07-12 made SML/NJ happy;
2011-07-12 wenzelm 2011-07-12 clarified YXML.detect;
2011-07-12 wenzelm 2011-07-12 retain some terminology of "XML attributes";
2011-07-12 wenzelm 2011-07-12 more uniform Properties in ML and Scala;
2011-07-12 wenzelm 2011-07-12 more uniform Term and Term_XML modules;
2011-07-12 wenzelm 2011-07-12 more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values;
2011-07-12 wenzelm 2011-07-12 tuned signature -- less cryptic ASCII names;
2011-07-12 wenzelm 2011-07-12 discontinued obsolete Isabelle_Syntax and Parse_Value -- superseded by Outer_Syntax.quote_string and XML.Encode, Term_XML.Encode etc.;
2011-07-12 wenzelm 2011-07-12 added Parse.properties (again) -- allow empty list like Parse_Value.properties but unlike Parse.properties of ef86de9c98aa;
2011-07-12 wenzelm 2011-07-12 added Outer_Syntax.quote_string, which is conceptually a bit different from Token.unparse;
2011-07-12 wenzelm 2011-07-12 more precise Symbol_Pos.quote_string;
2011-07-12 wenzelm 2011-07-12 clarified YXML.embed_controls -- this is idempotent and cannot be nested;
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)