/src/Tools/VSCode/extension/media/ Isabelle2023
drwxr-xr-x [up]
-rw-r--r-- 2023-09-11 19:30 +0200 1159 Preview.svg
-rw-r--r-- 2023-09-11 19:30 +0200 857 PreviewOnRightPane_16x.svg
-rw-r--r-- 2023-09-11 19:30 +0200 819 PreviewOnRightPane_16x_dark.svg
-rw-r--r-- 2023-09-11 19:30 +0200 1159 Preview_inverse.svg
-rw-r--r-- 2023-09-11 19:30 +0200 417 ViewSource.svg
-rw-r--r-- 2023-09-11 19:30 +0200 262 ViewSource_inverse.svg
-rw-r--r-- 2023-09-11 19:30 +0200 994 main.js
-rw-r--r-- 2023-09-11 19:30 +0200 2492 vscode.css