Sun, 29 Nov 2009 17:23:39 +0100 wenzelm double check file permissions of write-back image -- more robust for root or administrator on Cygwin;
Sun, 29 Nov 2009 17:14:24 +0100 wenzelm tuned message;
Sun, 29 Nov 2009 17:13:27 +0100 wenzelm added HOLCF image;
Sat, 28 Nov 2009 22:28:15 +0100 wenzelm workaround for strange compiler crash of Poly/ML 5.0 and 5.1 at this point http://isabelle.in.tum.de/repos/isabelle/file/a2fc533175ff/src/HOL/Tools/Nitpick/nitpick_nut.ML#l997
Sat, 28 Nov 2009 20:03:07 +0100 wenzelm updated generated files;
Sat, 28 Nov 2009 18:17:10 +0100 wenzelm proper quoting of array expansion -- allow spaces in components;
Sat, 28 Nov 2009 17:59:02 +0100 wenzelm added "sos";
Sat, 28 Nov 2009 16:16:17 +0100 wenzelm PG version 3.7.1.1;
Sat, 28 Nov 2009 15:54:25 +0100 wenzelm allow spaces within PROOFGENERAL_EMACS;
Sat, 28 Nov 2009 15:53:10 +0100 wenzelm allow spaces within command-line arguments;
Fri, 27 Nov 2009 23:08:26 +0100 wenzelm proper quotes;
Fri, 27 Nov 2009 22:38:22 +0100 wenzelm more abstract handling of repository name;
Fri, 27 Nov 2009 00:59:01 +0100 wenzelm more menu entries -- backport from PG 4.0 branch;
Fri, 27 Nov 2009 00:11:56 +0100 wenzelm re-package Isabelle distribution with add-on components;
Thu, 26 Nov 2009 20:07:02 +0100 Philipp Meyer fixed csdp output parser
Thu, 26 Nov 2009 15:28:42 +0100 wenzelm additional menu entries;
Thu, 26 Nov 2009 15:03:31 +0100 wenzelm Added tag isa2009-1-test for changeset 14ff44e21bec
Thu, 26 Nov 2009 14:54:56 +0100 wenzelm adhoc delay after font installation -- increases chance that Emacs will actually see them;
Thu, 26 Nov 2009 14:42:52 +0100 wenzelm implicit font installation for Mac OS;
Thu, 26 Nov 2009 12:55:24 +0100 wenzelm modernized interface script for PG 3.7.1 -- backport from PG 4.0 branch;
Thu, 26 Nov 2009 12:13:43 +0100 wenzelm patch for the infamous antiquotation font-lock problem of Proof General 3.7.1 with GNU Emacs, cf. http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
Wed, 25 Nov 2009 15:30:03 +0100 wenzelm refer to isabelle-release branch;
Wed, 25 Nov 2009 15:21:41 +0100 wenzelm include HOL-SMT keywords;
Wed, 25 Nov 2009 15:04:20 +0100 wenzelm tuned affiliation;
Wed, 25 Nov 2009 12:31:43 +0100 boehmes extended list of HOL-Boogie contributors
Wed, 25 Nov 2009 12:30:54 +0100 boehmes only add nat/int conversion rules if necessary
Wed, 25 Nov 2009 12:29:37 +0100 boehmes more generic explosion of options (also accept newlines, etc.)
Wed, 25 Nov 2009 12:28:29 +0100 boehmes respect "unique" attribute: generate distinctness axioms
Tue, 24 Nov 2009 18:36:18 +0100 blanchet fixed arity of some empty relations in Nitpick's Kodkod generator;
Tue, 24 Nov 2009 18:35:21 +0100 blanchet fix soundness bug in "uncurry" option of Nitpick
Tue, 24 Nov 2009 17:54:33 +0100 wenzelm Added tag isa2009-1-test for changeset 4328de748fb2
Tue, 24 Nov 2009 17:19:33 +0100 wenzelm some rearangement of load order to keep preferences adjacent -- slightly fragile;
Tue, 24 Nov 2009 16:11:50 +0100 blanchet use correct Isabelle version name in README file
Tue, 24 Nov 2009 16:07:31 +0100 blanchet remove version number from Nitpick manual
Tue, 24 Nov 2009 15:22:00 +0100 blanchet fix soundness bug in Nitpick's Kodkod generator for the relational composition case
Tue, 24 Nov 2009 13:57:25 +0100 blanchet merged
Tue, 24 Nov 2009 13:55:14 +0100 blanchet generate clearer atom names in Nitpick for types that end with a digit;
Tue, 24 Nov 2009 13:54:29 +0100 wenzelm Added tag isa2009-1-test for changeset 9db7854eafc7
Tue, 24 Nov 2009 13:22:18 +0100 blanchet fix soundness bug in Nitpick's handling of negative literals (e.g., -1::rat)
Tue, 24 Nov 2009 12:29:08 +0100 haftmann consisten upper/lower case
Tue, 24 Nov 2009 10:33:21 +0100 blanchet merge
Tue, 24 Nov 2009 10:33:02 +0100 blanchet fixed soundness bug / type error in handling of unpolarized (co)inductive predicates in Nitpick
Tue, 24 Nov 2009 10:31:01 +0100 blanchet removed "nitpick_def" attributes from (r)trancl(p), since "Nitpick.thy" overrides these
Mon, 23 Nov 2009 18:29:00 +0100 blanchet fix Nitpick soundness bug related to "finite (UNIV::'a set)" where "'a" is constrained by a sort to be infinite
Mon, 23 Nov 2009 17:59:22 +0100 blanchet fixed soundness bug in Nitpick's handling of typedefs
Mon, 23 Nov 2009 22:59:48 +0100 wenzelm multiplatform polyml.tar.gz;
Mon, 23 Nov 2009 22:47:41 +0100 wenzelm updated keywords;
Mon, 23 Nov 2009 22:47:08 +0100 wenzelm more tuning for release;
Mon, 23 Nov 2009 22:35:54 +0100 wenzelm added command 'ProofGeneral.pr' for PG 4.0;
Mon, 23 Nov 2009 21:56:07 +0100 bulwahn merged
Mon, 23 Nov 2009 19:42:52 +0100 bulwahn improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler
Mon, 23 Nov 2009 21:24:15 +0100 wenzelm updated for release;
Mon, 23 Nov 2009 21:04:00 +0100 ballarin Generated files.
Mon, 23 Nov 2009 21:03:49 +0100 ballarin Typos in documenation.
Mon, 23 Nov 2009 19:03:16 +0100 haftmann ANNOUNCE
Mon, 23 Nov 2009 17:27:43 +0100 blanchet merge
Mon, 23 Nov 2009 17:26:32 +0100 blanchet fix Nitpick soundness bugs related to integration (in particular, "code_numeral")
Mon, 23 Nov 2009 14:34:05 +0100 blanchet generate arguments of relational composition in the right order in Nitpick
Mon, 23 Nov 2009 16:24:28 +0100 haftmann CONTRIBUTORS
Mon, 23 Nov 2009 16:15:39 +0100 haftmann merged
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip