--- a/src/Doc/ROOT Mon Jan 18 15:46:35 2021 +0100
+++ b/src/Doc/ROOT Mon Jan 18 17:05:47 2021 +0100
@@ -229,7 +229,6 @@
"bibtex-mode.png"
"build"
"cite-completion.png"
- "isabelle-jedit-hdpi.png"
"isabelle-jedit.png"
"markdown-document.png"
"ml-debugger.png"