| Fri, 11 May 2012 00:45:24 +0200 |
blanchet |
fixed "real" after they were redefined as a 'quotient_type'
|
file |
diff |
annotate
|
| Thu, 10 May 2012 12:23:20 +0200 |
huffman |
temporarily comment out broken nitpick example
|
file |
diff |
annotate
|
| Fri, 23 Mar 2012 14:17:29 +0100 |
kuncar |
fix Quotient_Examples
|
file |
diff |
annotate
|
| Mon, 09 Jan 2012 18:32:56 +0100 |
blanchet |
revert unintended "sledgehammer" call
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 23:09:27 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 23:03:49 +0100 |
blanchet |
updated Nitpick docs after "set" reintroduction
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 18:33:18 +0100 |
blanchet |
no abuse of notation
|
file |
diff |
annotate
|
| Sat, 24 Dec 2011 15:53:10 +0100 |
haftmann |
adjusted to set/pred distinction by means of type constructor `set`
|
file |
diff |
annotate
|
| Wed, 30 Nov 2011 16:27:10 +0100 |
wenzelm |
prefer typedef without extra definition and alternative name;
|
file |
diff |
annotate
|
| Fri, 23 Sep 2011 10:31:12 +0200 |
blanchet |
synchronized section names with manual
|
file |
diff |
annotate
|
| Wed, 21 Sep 2011 15:55:16 +0200 |
blanchet |
reintroduced Minipick as Nitpick example
|
file |
diff |
annotate
|
| Tue, 24 May 2011 00:01:33 +0200 |
blanchet |
use \<emdash> rather than \<midarrow>
|
file |
diff |
annotate
|
| Wed, 20 Apr 2011 10:14:24 +0200 |
blanchet |
increase "auto"'s timeout in example to help SML/NJ
|
file |
diff |
annotate
|
| Mon, 04 Apr 2011 09:32:50 +0200 |
krauss |
raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics.
|
file |
diff |
annotate
|
| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|