Wed, 06 Dec 2017 20:43:09 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
Thu, 14 Apr 2016 15:33:51 +0200 |
wenzelm |
misc tuning and standardization;
|
file |
diff |
annotate
|
Tue, 23 Feb 2016 16:41:14 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
Mon, 06 Apr 2015 17:06:48 +0200 |
wenzelm |
@{command_spec} is superseded by @{command_keyword};
|
file |
diff |
annotate
|
Mon, 01 Sep 2014 16:17:46 +0200 |
blanchet |
renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place
|
file |
diff |
annotate
|
Sun, 09 Mar 2014 16:37:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 06 Mar 2014 12:43:29 +0100 |
wenzelm |
more rigid type_name demands, based on educated guesses about the tools involved here;
|
file |
diff |
annotate
|
Thu, 06 Mar 2014 12:10:19 +0100 |
wenzelm |
tuned signature -- more uniform check_type_name/read_type_name;
|
file |
diff |
annotate
|
Fri, 16 Mar 2012 18:20:12 +0100 |
wenzelm |
outer syntax command definitions based on formal command_spec derived from theory header declarations;
|
file |
diff |
annotate
|
Thu, 15 Mar 2012 20:07:00 +0100 |
wenzelm |
prefer formally checked @{keyword} parser;
|
file |
diff |
annotate
|
Tue, 21 Feb 2012 12:20:33 +0100 |
bulwahn |
subtype preprocessing in Quickcheck;
|
file |
diff |
annotate
|
Tue, 21 Feb 2012 11:25:48 +0100 |
bulwahn |
adding parsing of an optional predicate with quickcheck_generator command
|
file |
diff |
annotate
|
Wed, 21 Dec 2011 09:21:35 +0100 |
bulwahn |
quickcheck_generator command also creates random generators
|
file |
diff |
annotate
|
Tue, 20 Dec 2011 17:39:56 +0100 |
bulwahn |
quickcheck generators for abstract types; tuned
|
file |
diff |
annotate
|