bulwahn [Tue, 18 Oct 2011 15:27:18 +0200] rev 45166
tuned
bulwahn [Tue, 18 Oct 2011 15:27:17 +0200] rev 45165
adding testing of quickcheck narrowing with finite types to mutabelle script; modified is_executable in mutabelle_extra
krauss [Tue, 18 Oct 2011 11:59:03 +0200] rev 45164
mira: collect size of heap images
blanchet [Mon, 17 Oct 2011 21:37:38 +0200] rev 45163
updated doc related to Satallax
blanchet [Mon, 17 Oct 2011 21:37:37 +0200] rev 45162
parse Satallax unsat cores
wenzelm [Mon, 17 Oct 2011 18:05:14 +0200] rev 45161
merged
noschinl [Mon, 17 Oct 2011 14:22:14 +0200] rev 45160
(old) NEWS
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
wenzelm [Mon, 17 Oct 2011 11:24:22 +0200] rev 45158
always use sockets on Windows/Cygwin;
discontinued special raw_dump facility;
krauss [Sun, 16 Oct 2011 21:49:47 +0200] rev 45157
mira configuration: use official polyml 5.4.1 on lxbroy10