Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/media/PreviewOnRightPane_16x_dark.svg
author wenzelm
Sat, 01 Jun 2019 11:29:59 +0200
changeset 70299 83774d669b51
parent 65983 d8c5603c1732
permissions -rw-r--r--
Added tag Isabelle2019-RC4 for changeset ad2d84c42380
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     1
 
<?xml version="1.0" encoding="utf-8"?>
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     2
 
<!-- Generator: Adobe Illustrator 19.2.0, SVG Export Plug-In . SVG Version: 6.00 Build 0)  -->
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     3
 
<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     4
 
	 viewBox="0 0 16 16" style="enable-background:new 0 0 16 16;" xml:space="preserve">
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     5
 
<style type="text/css">
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     6
 
	.st0{fill:#C5C5C5;}
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     7
 
</style>
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     8
 
<g id="canvas">
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
     9
 
</g>
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    10
 
<g id="outline">
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    11
 
</g>
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    12
 
<g id="iconFg">
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    13
 
</g>
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    14
 
<g id="iconBg">
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    15
 
	<path class="st0" d="M9,5h5v2.4c0.4,0.2,0.7,0.4,1,0.7V2H1v12h5.6L9,11.6V5z M2,13V5h5v8H2z M11.3,12.7c0.4,0.2,0.8,0.3,1.2,0.3
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    16
 
		c1.4,0,2.5-1.1,2.5-2.5C15,9.1,13.9,8,12.5,8C11.1,8,10,9.1,10,10.5c0,0.4,0.1,0.8,0.3,1.2L8,14l1,1L11.3,12.7z M11,10.5
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    17
 
		C11,9.7,11.7,9,12.5,9c0.8,0,1.5,0.7,1.5,1.5c0,0.8-0.7,1.5-1.5,1.5C11.7,12,11,11.3,11,10.5z"/>
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    18
 
</g>
d8c5603c1732 explicit preview request/response;
wenzelm
parents:
diff changeset 
    19
 
</svg>
isabelle