isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle