| Sun, 03 Jan 2021 12:11:56 +0100 | wenzelm | more robust bootstrap: Isabelle-jEdit.shasum could be absent; | changeset | files |
| Sat, 02 Jan 2021 23:03:47 +0100 | wenzelm | tuned whitespace (amending a4bffc0de967); | changeset | files |
| Sat, 02 Jan 2021 22:50:09 +0100 | wenzelm | clarified caching; | changeset | files |
| Sat, 02 Jan 2021 22:40:06 +0100 | wenzelm | persistent hash code: much faster caching; | changeset | files |