Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated screenshots;
authorwenzelm
Fri, 01 May 2015 00:27:04 +0200
changeset 60210 3bcd15f14dcb
parent 60209 022ca2799c73
child 60211 c0f686b39ebb
updated screenshots;
src/Doc/JEdit/document/auto-tools.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/isabelle-jedit.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/output.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/popup1.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/popup2.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/query.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/sidekick.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/sledgehammer.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/theories.png file | annotate | diff | comparison | revisions 
Binary file src/Doc/JEdit/document/auto-tools.png has changed
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
Binary file src/Doc/JEdit/document/output.png has changed
Binary file src/Doc/JEdit/document/popup1.png has changed
Binary file src/Doc/JEdit/document/popup2.png has changed
Binary file src/Doc/JEdit/document/query.png has changed
Binary file src/Doc/JEdit/document/sidekick.png has changed
Binary file src/Doc/JEdit/document/sledgehammer.png has changed
Binary file src/Doc/JEdit/document/theories.png has changed
isabelle