X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fcasl2_spec%2Fimg%2F1_2-.svg.template;fp=doc%2Fcasl2_spec%2Fimg%2F1_2-.svg.template;h=5452ba43f218aac9504b27cc084fa95ec59d5865;hb=db72b99e0ddad50852fa89e94b0df287f3c1b5bd;hp=0000000000000000000000000000000000000000;hpb=5b57b6588ef89ac321cfb5df8ef35396562890e4;p=YACASL2.git

diff --git a/doc/casl2_spec/img/1_2-.svg.template b/doc/casl2_spec/img/1_2-.svg.template
new file mode 100644
index 0000000..5452ba4
--- /dev/null
+++ b/doc/casl2_spec/img/1_2-.svg.template
@@ -0,0 +1,60 @@
+<?xml version="1.0" encoding="utf-8"?>
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="750" height="275">
+  <g transform="translate(10,10)">
+    <g  stroke="black" stroke-width="1" fill="none">
+      <path d="M0,0 L660,0" />
+    </g>
+
+    <g transform="translate(0,0)">
+      <g font-size="10pt" font-family="monospace">
+        <text x="5" y="15" font-family="sans-serif"></text>
+        <text x="5" y="35">                         </text>
+        <text x="205" y="25">                       </text>
+        <text x="255" y="25">                       </text>
+      </g>
+      <g stroke="black" stroke-width="1" fill="none">
+        <path d="M0,40 L350,40" />
+        <path d="M0,0 L0,40" />
+
+        <path d="M200,0 L200,40" />
+      </g>
+    </g>
+
+    <g transform="translate(0,40)">
+      <g font-size="10pt" font-family="monospace">
+        <text x="5" y="15" font-family="sans-serif"></text>
+        <text x="5" y="35">                         </text>
+        <text x="205" y="25">                       </text>
+        <text x="255" y="25">                       </text>
+      </g>
+      <g stroke="black" stroke-width="1" fill="none">
+        <path d="M0,40 L350,40" />
+        <path d="M0,0 L0,40" />
+
+        <path d="M200,0 L200,40" />
+      </g>
+    </g>
+
+    <g>
+      <g font-size="10pt" font-family="monospace">
+        <text x="355" y="15"></text>
+      </g>
+
+      <g stroke="black" stroke-width="1" fill="none">
+        <path d="M350,0 L350,80" />
+        <path d="M350,40 L610,40" />
+      </g>
+    </g>
+    <g>
+      <g stroke="black" stroke-width="1" fill="none">
+        <path d="M610,0 L610,80" />
+        <path d="M660,0 L660,80" />
+        <path d="M610,200 L610,200" />
+        <path d="M350,80 L660,80" />
+      </g>
+      <g font-size="10pt" font-family="monospace">
+        <text x="620" y="45">&#x2014;</text>
+      </g>
+    </g>
+  </g>
+</svg>