# HG changeset patch
# User kleing
# Date 1114820382 -7200
# Node ID 153541e29155294cfb21d549840a7c005edc6ac6
# Parent  260090b54ef911c04a17ae8d77b4f21c435f5205
unused

diff -r 260090b54ef9 -r 153541e29155 doc-src/LaTeXsugar/Sugar/generated/session_graph.eps
--- a/doc-src/LaTeXsugar/Sugar/generated/session_graph.eps	Sat Apr 30 00:53:56 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-%!PS-Adobe-2.0 EPSF-2.0
-%%Orientation: Portrait
-%%BoundingBox: -20 -20 106 255
-%%EndComments
-
-%%BeginProlog
-/m { moveto } def /l { lineto } def /n { newpath } def
-/s { stroke } def /c { curveto } def
-/b { n 0 0 m dup true charpath pathbbox 1 index 4 index sub
-7 index exch sub 2 div 9 index add 1 index 4 index sub 7 index exch sub
-2 div 9 index add 2 index add m pop pop pop pop
-1 -1 scale show 1 -1 scale n 3 index 3 index m 1 index 0 rlineto
-0 exch rlineto neg 0 rlineto closepath s pop pop } def
-%%EndProlog
-
-0 235 translate
-1 -1 scale
-/Helvetica findfont 12 scalefont setfont
-0.5 setlinewidth
-0 108 87 19 (LaTeXsugar) b
-n 43 127 m 43 162 l s
-0 162 87 19 (OptionalSugar) b
-n 43 181 m 43 216 l s
-0 216 87 19 (Sugar) b
-0 0 87 19 ([Pure]) b
-n 43 19 m 43 54 l s
-0 54 87 19 ([HOL]) b
-n 43 73 m 43 108 l s
diff -r 260090b54ef9 -r 153541e29155 doc-src/LaTeXsugar/Sugar/generated/session_graph.pdf
Binary file doc-src/LaTeXsugar/Sugar/generated/session_graph.pdf has changed