| Fri, 20 May 2011 20:44:03 +0200 |
wenzelm |
added Isabelle_Process.is_active;
|
file |
diff |
annotate
|
| Fri, 20 May 2011 12:09:54 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Wed, 18 May 2011 15:45:34 +0200 |
bulwahn |
NEWS
|
file |
diff |
annotate
|
| Sun, 15 May 2011 18:00:08 +0200 |
wenzelm |
NEWS (cf. 4e8483cc2cc5);
|
file |
diff |
annotate
|
| Sat, 14 May 2011 18:26:25 +0200 |
haftmann |
use pointfree characterisation for fold_set locale
|
file |
diff |
annotate
|
| Fri, 13 May 2011 22:55:00 +0200 |
wenzelm |
proper Proof.context for classical tactics;
|
file |
diff |
annotate
|
| Thu, 12 May 2011 15:29:19 +0200 |
blanchet |
renamed "max_mono_instances" to "max_new_mono_instances" and changed its semantics accordingly
|
file |
diff |
annotate
|
| Thu, 12 May 2011 15:29:18 +0200 |
blanchet |
added "max_mono_instances" option to Sledgehammer and renamed old "monomorphize_limit" option
|
file |
diff |
annotate
|
| Thu, 05 May 2011 23:54:06 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 22:27:32 +0200 |
wenzelm |
more conventional naming scheme: names_long, names_short, names_unique;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 18:04:05 +0200 |
wenzelm |
some documentation of @{rail} antiquotation;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 22:03:18 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 18:37:25 +0200 |
blanchet |
document new type system syntax
|
file |
diff |
annotate
|
| Sun, 01 May 2011 17:13:44 +0200 |
wenzelm |
localized \isabellestyle;
|
file |
diff |
annotate
|
| Thu, 28 Apr 2011 21:06:04 +0200 |
wenzelm |
literal facts `prop` may contain dummy patterns;
|
file |
diff |
annotate
|