| Thu, 27 Feb 2014 12:37:43 +0100 | wenzelm | proper update of text perspective for nodes with changed blobs, which is important to refresh the corresponding command perspective (otherwise it might refer to invalid thy_load commands and cause full execution of the node by the prover); | changeset | files |
| Thu, 27 Feb 2014 10:59:12 +0100 | wenzelm | tuned iterator; | changeset | files |
| Thu, 27 Feb 2014 10:58:43 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 27 Feb 2014 10:38:47 +0100 | wenzelm | tuned comment; | changeset | files |
| Wed, 26 Feb 2014 20:56:55 +0100 | wenzelm | tuned output; | changeset | files |
| Thu, 27 Feb 2014 18:07:53 +0100 | haftmann | amended some slips, rolling back currently dysfunctional export minimimalisation for Scala | changeset | files |
| Thu, 27 Feb 2014 16:07:21 +0000 | paulson | A bit of tidying up | changeset | files |