From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id CA8EEBB9C for ; Thu, 19 Jan 2006 20:40:38 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k0JJeb8S008130 for ; Thu, 19 Jan 2006 20:40:38 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA12719 for ; Thu, 19 Jan 2006 20:40:37 +0100 (MET) Received: from orsfmr004.jf.intel.com (fmr19.intel.com [134.134.136.18]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k0JJeZvZ008124 for ; Thu, 19 Jan 2006 20:40:36 +0100 Received: from orsfmr100.jf.intel.com (orsfmr100.jf.intel.com [10.7.209.16]) by orsfmr004.jf.intel.com (8.12.10/8.12.10/d: major-outer.mc,v 1.1 2004/09/17 17:50:56 root Exp $) with ESMTP id k0JJeTDH020512; Thu, 19 Jan 2006 19:40:29 GMT Received: from orsmsxvs041.jf.intel.com (orsmsxvs041.jf.intel.com [192.168.65.54]) by orsfmr100.jf.intel.com (8.12.10/8.12.10/d: major-inner.mc,v 1.2 2004/09/17 18:05:01 root Exp $) with SMTP id k0JJePbs010412; Thu, 19 Jan 2006 19:40:28 GMT Received: from orsmsx331.amr.corp.intel.com ([192.168.65.56]) by orsmsxvs041.jf.intel.com (SAVSMTP 3.1.7.47) with SMTP id M2006011911402305372 ; Thu, 19 Jan 2006 11:40:24 -0800 Received: from orsmsx409.amr.corp.intel.com ([192.168.65.58]) by orsmsx331.amr.corp.intel.com with Microsoft SMTPSVC(6.0.3790.211); Thu, 19 Jan 2006 11:40:09 -0800 X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] toplevel with pre-installed printers Date: Thu, 19 Jan 2006 11:40:07 -0800 Message-ID: <196F1D996F92CD46A542EA519DB8CE4702F0C536@orsmsx409> Thread-Topic: [Caml-list] toplevel with pre-installed printers Thread-Index: AcYdG//ECxCpjNDwQ4C3kNRmENlTpQAE0ywg From: "Harrison, John R" To: Cc: "Caml list" X-OriginalArrivalTime: 19 Jan 2006 19:40:09.0852 (UTC) FILETIME=[284EB3C0:01C61D30] X-Scanned-By: MIMEDefang 2.52 on 10.7.209.16 X-Miltered: at concorde with ID 43CFEB36.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43CFEB33.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 toplevel:01 johnh:01 ocaml:01 toplevel:01 ichips:02 comparable:04 startup:05 hol:05 linux:06 john:08 john:08 i've:11 however:12 solution:13 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 | Sorry, I was not clear enough. I know about .ocamlinit. I am going to | have several custom ocamltop's and they can't all share the same | .ocamlinit. What now? You could always checkpoint the OCaml toplevel process. This is what I do with HOL Light, since it would take several minutes to reload all the code at startup. Under Linux, I've found "ckpt" very good. However I don't know of a comparable solution for Windows. John.