equal
deleted
inserted
replaced
227 document_files |
227 document_files |
228 "auto-tools.png" |
228 "auto-tools.png" |
229 "bibtex-mode.png" |
229 "bibtex-mode.png" |
230 "build" |
230 "build" |
231 "cite-completion.png" |
231 "cite-completion.png" |
232 "isabelle-jedit-hdpi.png" |
|
233 "isabelle-jedit.png" |
232 "isabelle-jedit.png" |
234 "markdown-document.png" |
233 "markdown-document.png" |
235 "ml-debugger.png" |
234 "ml-debugger.png" |
236 "output-and-state.png" |
235 "output-and-state.png" |
237 "output-including-state.png" |
236 "output-including-state.png" |