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 p0LGk6UZ023906 for ; Fri, 21 Jan 2011 17:46:07 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtoFAFNHOU1QW+UMgWdsb2JhbACWSI4dFQEBFiIkvVqFUASLH4Ye X-IronPort-AV: E=Sophos;i="4.60,359,1291590000"; d="scan'208";a="87679606" Received: from lo.gmane.org ([80.91.229.12]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Jan 2011 17:46:06 +0100 Received: from list by lo.gmane.org with local (Exim 4.69) (envelope-from ) id 1PgK7g-0006lJ-Ij for caml-list@inria.fr; Fri, 21 Jan 2011 17:46:04 +0100 Received: from avelizy-155-1-70-210.w86-217.abo.wanadoo.fr ([86.217.109.210]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 21 Jan 2011 17:46:04 +0100 Received: from sylvain by avelizy-155-1-70-210.w86-217.abo.wanadoo.fr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 21 Jan 2011 17:46:04 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Date: Fri, 21 Jan 2011 16:45:49 +0000 (UTC) Message-ID: References: <42FE6528-E0B7-4924-98D3-EFB2137AFBD4@gmail.com> X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: avelizy-155-1-70-210.w86-217.abo.wanadoo.fr User-Agent: slrn/pre1.0.0-18 (Linux) Subject: [Caml-list] Re: Want: VSYML a symbolic simulator for integrated circuits in OCaml On 21-01-2011, Joel Reymont wrote: > Does anyone have this PDF? > > I'm not able to download it off of OCamlForge for some reason. > > I just downloaded it without problem. Could you tell what is your problem with this ? (error message or whatever) Cheers, Sylvain Le Gall -- My company: http://www.ocamlcore.com Linkedin: http://fr.linkedin.com/in/sylvainlegall Start an OCaml project here: http://forge.ocamlcore.org OCaml blogs: http://planet.ocamlcore.org