| Thu, 27 Feb 2014 14:07:04 +0100 | wenzelm | more formal Document.Blobs; | changeset | files |
| Thu, 27 Feb 2014 12:48:59 +0100 | wenzelm | tuned output; | changeset | files |
| 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 |