Tue, 08 Dec 2009 18:40:20 +0100 | blanchet | merged | changeset | files |
Tue, 08 Dec 2009 18:38:08 +0100 | blanchet | made Nitpick work also for people who import "Plain" instead of "Main" | changeset | files |
Mon, 07 Dec 2009 13:40:45 +0100 | blanchet | make Nitpick output the message "Hint: Maybe you forgot a type constraint?" only for syntactic classes | changeset | files |
Wed, 09 Dec 2009 12:07:44 +0100 | wenzelm | keep future Isabelle application entry point; | changeset | files |
Wed, 09 Dec 2009 11:53:51 +0100 | wenzelm | merged | changeset | files |
Tue, 08 Dec 2009 23:05:23 +0100 | boehmes | also consider the fully-typed version of metis for Mirabelle measurements | changeset | files |