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
Thu, 21 Sep 2017 15:37:01 +0200
changeset 66684 ace3cf4e1fbd
parent 66683 01189e46dc55
child 66685 1b397be63e68
updated screenshots;
src/Doc/JEdit/document/output-and-state.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/output-including-state.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/output.png file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/theories.png file | annotate | diff | comparison | revisions 
Binary file src/Doc/JEdit/document/output-and-state.png has changed
Binary file src/Doc/JEdit/document/output-including-state.png has changed
Binary file src/Doc/JEdit/document/output.png has changed
Binary file src/Doc/JEdit/document/theories.png has changed
isabelle