| Sat, 16 Mar 2013 17:22:05 +0100 |
nipkow |
tuned (in particular bold fonts)
|
changeset |
files
|
| Sat, 16 Mar 2013 10:50:23 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 14 Mar 2013 16:49:36 +0100 |
wenzelm |
document ISABELLE_POLYML;
|
changeset |
files
|
| Fri, 15 Mar 2013 18:49:40 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Fri, 15 Mar 2013 13:46:37 +0100 |
wenzelm |
simplified time_CPU and time_GC;
|
changeset |
files
|
| Fri, 15 Mar 2013 10:49:28 +0100 |
wenzelm |
updated to scala-2.10.1;
|
changeset |
files
|
| Fri, 15 Mar 2013 10:08:23 +0100 |
traytel |
extended stream library (sdrop_while)
|
changeset |
files
|
| Thu, 14 Mar 2013 14:25:55 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 14 Mar 2013 14:14:58 +0100 |
wenzelm |
more robust Par_Exn.make, especially relevant for SML/NJ trying to use Par_Exn.release_all;
|
changeset |
files
|
| Thu, 14 Mar 2013 13:57:44 +0100 |
wenzelm |
proper use of "member", without embarking on delicate questions about SML equality types;
|
changeset |
files
|
| Thu, 14 Mar 2013 13:52:22 +0100 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|
| Thu, 14 Mar 2013 10:51:28 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Wed, 13 Mar 2013 22:46:28 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 13 Mar 2013 21:25:08 +0100 |
wenzelm |
clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate);
|
changeset |
files
|
| Wed, 13 Mar 2013 17:15:25 +0100 |
wenzelm |
proper formatting, to facilitate line-based diff;
|
changeset |
files
|
| Wed, 13 Mar 2013 17:13:22 +0100 |
wenzelm |
more uniform session descriptions, which show up in chapter index;
|
changeset |
files
|