Mon, 17 Oct 2011 21:37:37 +0200 parse Satallax unsat cores
blanchet [Mon, 17 Oct 2011 21:37:37 +0200] rev 45162
parse Satallax unsat cores
Mon, 17 Oct 2011 18:05:14 +0200 merged
wenzelm [Mon, 17 Oct 2011 18:05:14 +0200] rev 45161
merged
Mon, 17 Oct 2011 14:22:14 +0200 (old) NEWS
noschinl [Mon, 17 Oct 2011 14:22:14 +0200] rev 45160
(old) NEWS
Mon, 17 Oct 2011 10:19:01 +0200 moving some common functions from quickcheck to the more HOL-specific quickcheck_common; renamed inductive_SML's configurations to more canonical names; adds automatically left and right hand sides of equations as evaluation terms
bulwahn [Mon, 17 Oct 2011 10:19:01 +0200] rev 45159
moving some common functions from quickcheck to the more HOL-specific quickcheck_common; renamed inductive_SML's configurations to more canonical names; adds automatically left and right hand sides of equations as evaluation terms
Mon, 17 Oct 2011 11:24:22 +0200 always use sockets on Windows/Cygwin;
wenzelm [Mon, 17 Oct 2011 11:24:22 +0200] rev 45158
always use sockets on Windows/Cygwin; discontinued special raw_dump facility;
Sun, 16 Oct 2011 21:49:47 +0200 mira configuration: use official polyml 5.4.1 on lxbroy10
krauss [Sun, 16 Oct 2011 21:49:47 +0200] rev 45157
mira configuration: use official polyml 5.4.1 on lxbroy10
Sun, 16 Oct 2011 18:48:30 +0200 added Term.dummy_pattern conveniences;
wenzelm [Sun, 16 Oct 2011 18:48:30 +0200] rev 45156
added Term.dummy_pattern conveniences;
Sun, 16 Oct 2011 16:56:01 +0200 slightly more standard-conformant XML parsing (see also 94033767ef9b);
wenzelm [Sun, 16 Oct 2011 16:56:01 +0200] rev 45155
slightly more standard-conformant XML parsing (see also 94033767ef9b);
Sun, 16 Oct 2011 14:48:01 +0200 tuned proof
haftmann [Sun, 16 Oct 2011 14:48:01 +0200] rev 45154
tuned proof
Sun, 16 Oct 2011 14:48:00 +0200 tuned type annnotation
haftmann [Sun, 16 Oct 2011 14:48:00 +0200] rev 45153
tuned type annnotation
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip