isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 17 Oct 2011 14:22:14 +0200 (old) NEWS

changeset

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

changeset

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;

changeset

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

changeset

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;

changeset

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);

changeset

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

changeset

haftmann [Sun, 16 Oct 2011 14:48:01 +0200] rev 45154

tuned proof

Sun, 16 Oct 2011 14:48:00 +0200 tuned type annnotation

changeset

haftmann [Sun, 16 Oct 2011 14:48:00 +0200] rev 45153

tuned type annnotation

(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom