| Sun, 17 Aug 2014 16:05:43 +0200 | wenzelm | postpone changes in intermediate state between remove_versions/removed_versions, which is important for handle_change to refer to defined items on prover side; | file | diff | annotate |
| Sat, 02 Aug 2014 16:35:59 +0200 | wenzelm | more direct access to persistent blobs (see also 8953d4cc060a), avoiding fragile digest lookup from later version (which might have removed unused blobs already); | file | diff | annotate |
| Wed, 23 Jul 2014 16:56:03 +0200 | wenzelm | more frugal edits; | file | diff | annotate |
| Wed, 23 Jul 2014 16:20:07 +0200 | wenzelm | more explicit treatment of cleared nodes (removal is implicit); | file | diff | annotate |
| Wed, 23 Jul 2014 15:32:05 +0200 | wenzelm | clarified display; | file | diff | annotate |
| Wed, 23 Jul 2014 15:00:46 +0200 | wenzelm | clarified display; | file | diff | annotate |