From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0LGaZfZ023187
	for <caml-list@sympa-roc.inria.fr>; Fri, 21 Jan 2011 17:36:35 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ak4BAPpEOU1KfVI0kGdsb2JhbACWSI4VCBUBAQEBCQkMBxEEIKNZiXuCF4RmLohYAQEDBYVLBIsfgyVs
X-IronPort-AV: E=Sophos;i="4.60,358,1291590000"; 
   d="scan'208";a="87678976"
Received: from mail-ww0-f52.google.com ([74.125.82.52])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 21 Jan 2011 17:36:30 +0100
Received: by wwd20 with SMTP id 20so2035189wwd.9
        for <caml-list@inria.fr>; Fri, 21 Jan 2011 08:36:30 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:from:content-type:content-transfer-encoding
         :subject:date:message-id:to:mime-version:x-mailer;
        bh=xHDwGTUKcv1SGK3fTXCisLiL4czvhq9AGU3jgnIOOd0=;
        b=tWDQkfzXV/FMEak/TiKDzmaNqFeG+LOvKCxGa2Kb/2Vg3JWJq+7rY6NNl2zoa+k7Wd
         6Tvt2b090kjclAxM1UjSI8mdLOHEISnjEauDAREPaEwPLQoDx8lTtuv1fqYUGbj7beWq
         IZHy9rqQNy8R/Bn/AyDPn59ZUmHfWB2nez0Ag=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=from:content-type:content-transfer-encoding:subject:date:message-id
         :to:mime-version:x-mailer;
        b=Wh6Sm5QkUZH4j0jnaTyXzv27tpDRKW2TlI4BpmUQu/72BvCF8/YvhZd/MYhF22+3Jt
         0hMjHIznwXTA3mqa1meu+e4wHBKC2B5cycYNbrkxx6IcYsXYDTmgbyntbt6bVoWyGndR
         28CxWSh/WnzI2OIY8zJI9V4hwl41v7K1mAji4=
Received: by 10.227.134.2 with SMTP id h2mr1051860wbt.22.1295627789564;
        Fri, 21 Jan 2011 08:36:29 -0800 (PST)
Received: from [192.168.0.193] ([95.60.213.7])
        by mx.google.com with ESMTPS id q18sm7010091wbe.5.2011.01.21.08.36.27
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Fri, 21 Jan 2011 08:36:28 -0800 (PST)
From: Joel Reymont <joelr1@gmail.com>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: Fri, 21 Jan 2011 16:36:25 +0000
Message-Id: <42FE6528-E0B7-4924-98D3-EFB2137AFBD4@gmail.com>
To: caml-list@inria.fr
Mime-Version: 1.0 (Apple Message framework v1082)
X-Mailer: Apple Mail (2.1082)
Subject: [Caml-list] Want: VSYML a symbolic simulator for integrated circuits in OCaml

Does anyone have this PDF?

I'm not able to download it off of OCamlForge for some reason.

	Thanks, Joel

---
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont