/src/Doc/JEdit/document/ Isabelle2025
drwxr-xr-x [up]
-rw-r--r-- 2025-03-12 11:39 +0100 213523 auto-tools.png
-rw-r--r-- 2025-03-12 11:39 +0100 534461 bibtex-mode.png
-rw-r--r-- 2025-03-12 11:39 +0100 291672 cite-completion.png
-rw-r--r-- 2025-03-12 11:39 +0100 313683 document-panel.png
-rw-r--r-- 2025-03-12 11:39 +0100 326390 isabelle-jedit.png
-rw-r--r-- 2025-03-12 11:39 +0100 194457 markdown-document.png
-rw-r--r-- 2025-03-12 11:39 +0100 169069 ml-debugger.png
-rw-r--r-- 2025-03-12 11:39 +0100 240314 output-and-state.png
-rw-r--r-- 2025-03-12 11:39 +0100 240234 output-including-state.png
-rw-r--r-- 2025-03-12 11:39 +0100 370034 output.png
-rw-r--r-- 2025-03-12 11:39 +0100 112221 popup1.png
-rw-r--r-- 2025-03-12 11:39 +0100 125617 popup2.png
-rw-r--r-- 2025-03-12 11:39 +0100 108724 popup3.png
-rw-r--r-- 2025-03-12 11:39 +0100 108933 popup4.png
-rw-r--r-- 2025-03-12 11:39 +0100 339793 query.png
-rw-r--r-- 2025-03-12 11:39 +0100 2261 root.tex
-rw-r--r-- 2025-03-12 11:39 +0100 111286 scope1.png
-rw-r--r-- 2025-03-12 11:39 +0100 108001 scope2.png
-rw-r--r-- 2025-03-12 11:39 +0100 324233 sidekick-document.png
-rw-r--r-- 2025-03-12 11:39 +0100 490487 sidekick.png
-rw-r--r-- 2025-03-12 11:39 +0100 284281 sledgehammer.png
-rw-r--r-- 2025-03-12 11:39 +0100 380397 theories.png