From a9ef6d2ce9ab5f8f7d5d7993fa281f89e756d09a Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Tue, 26 Feb 2013 16:41:38 +0100 Subject: generate pdf --- specification/specification.pdf | Bin 157405 -> 157405 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/specification/specification.pdf b/specification/specification.pdf index ff939f3..acd0883 100644 Binary files a/specification/specification.pdf and b/specification/specification.pdf differ -- cgit v1.2.3