--- 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
Binary file doc-src/LaTeXsugar/Sugar/generated/session_graph.pdf has changed