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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

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

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

isabelle