| Mon, 28 May 2018 11:15:17 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 27 May 2018 22:57:06 +0100 | paulson | merged | changeset | files |
| Sun, 27 May 2018 22:56:43 +0100 | paulson | tidying up a bit more | changeset | files |
| Sun, 27 May 2018 23:15:47 +0200 | wenzelm | prefer existing operation; | changeset | files |
| Sun, 27 May 2018 22:37:08 +0200 | wenzelm | retain isolated blob nodes (amending deb2fcbda16e): avoid failure of Session.handle_change with "Missing blob", when opening theory with load command later; | changeset | files |
| Sun, 27 May 2018 22:21:43 +0200 | wenzelm | clarified signature -- avoid confusion with Resources.is_hidden; | changeset | files |
| Sun, 27 May 2018 13:42:01 +0200 | wenzelm | markup for deleted fragments of token source (NB: quoted tokens transform "\123" implicitly); | changeset | files |