| Fri, 29 Oct 2010 11:35:47 +0200 |
wenzelm |
proper markup of formal text;
|
changeset |
files
|
| Fri, 29 Oct 2010 11:07:21 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 29 Oct 2010 11:04:41 +0200 |
krauss |
hide_const various constants, in particular to avoid ugly qualifiers in HOLCF
|
changeset |
files
|
| Fri, 29 Oct 2010 10:40:36 +0200 |
blanchet |
reverted e31e3f0071d4 because "foo.bar(5)" (with quotes) is wrong
|
changeset |
files
|
| Fri, 29 Oct 2010 10:14:49 +0200 |
Lars Noschinski |
merged
|
changeset |
files
|
| Wed, 22 Sep 2010 09:56:39 +0200 |
Lars Noschinski |
Remove unnecessary premise of mult1_union
|
changeset |
files
|
| Fri, 29 Oct 2010 08:44:49 +0200 |
bulwahn |
adapting HOL-Mutabelle to changes in quickcheck
|
changeset |
files
|
| Fri, 29 Oct 2010 08:44:46 +0200 |
bulwahn |
NEWS
|
changeset |
files
|
| Fri, 29 Oct 2010 08:44:44 +0200 |
bulwahn |
changed global fixed timeout to a configurable timeout for quickcheck; test parameters in quickcheck are now fully passed around with the context
|
changeset |
files
|
| Fri, 29 Oct 2010 08:44:43 +0200 |
bulwahn |
updating documentation on quickcheck in the Isar reference
|
changeset |
files
|
| Thu, 28 Oct 2010 18:36:34 +0200 |
bulwahn |
merged
|
changeset |
files
|
| Thu, 28 Oct 2010 17:28:45 +0200 |
bulwahn |
adding a simple check to only run with a SWI-Prolog version known to work
|
changeset |
files
|
| Thu, 28 Oct 2010 23:54:39 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Thu, 28 Oct 2010 23:19:52 +0200 |
wenzelm |
discontinued obsolete ML antiquotation @{theory_ref};
|
changeset |
files
|
| Thu, 28 Oct 2010 22:59:33 +0200 |
wenzelm |
tuned;
|
changeset |
files
|