From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA08173 for caml-redist; Tue, 25 Apr 2000 19:04:26 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA05510 for ; Sun, 23 Apr 2000 03:48:05 +0200 (MET DST) Received: from beach.frankfurt.netsurf.de (beach.frankfurt.netsurf.de [194.64.181.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id DAA08776 for ; Sun, 23 Apr 2000 03:48:03 +0200 (MET DST) Received: from ice.darmstadt.netsurf.de (board-111.darmstadt.netsurf.de [194.163.86.239]) by beach.frankfurt.netsurf.de (8.8.5/8.8.5) with ESMTP id DAA09835 for ; Sun, 23 Apr 2000 03:47:58 +0200 (MET DST) Received: from localhost (localhost [[UNIX: localhost]]) by ice.darmstadt.netsurf.de (8.9.3/8.9.3) id DAA18740 for caml-list@inria.fr; Sun, 23 Apr 2000 03:32:09 +0200 From: Gerd Stolpmann Reply-To: gerd@gerd-stolpmann.de Organization: privat To: caml-list@inria.fr Subject: www.ocaml-programming.de Date: Sun, 23 Apr 2000 03:20:39 +0200 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain MIME-Version: 1.0 Message-Id: <00042303320705.09986@ice> Content-Transfer-Encoding: 8bit Sender: weis Hello, After I had some trouble with my old web provider, I decided to move all my O'Caml-related web pages to a new address: http://www.ocaml-programming.de Here you can find everything that was formerly at http://people.darmstadt.netsurf.de/Gerd.Stolpmann. The old site will forward you to the new one for some time, but I do not know how long, so please update your bookmarks or links (if you have some). I have already corrected many links; especially the Ocaml link db is already updated (it is still at the same place: http://www.npc.de/ocaml/linkdb). Personal Emails should be sent to gerd@gerd-stolpmann.de. Gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: gerd@gerd-stolpmann.de (privat) Germany ----------------------------------------------------------------------------