<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2009/01/49f540c193ca2c583ca48e44df262300"
  from="David Teller &lt;David.Teller@u...&gt;"
  author="David Teller"
  date="2009-01-30T19:18:29"
  subject="Re: [Caml-list] OCaml PLEAC reaches 100%"
  prev="2009/01/8eed19e3dfce9d286b14da52b2f7379f"
  next="2009/01/d43758781e173af5161d3d31a45f5f11"
  prev-in-thread="2009/01/8eed19e3dfce9d286b14da52b2f7379f"
  prev-thread="2009/01/428295ae8114ef5fe4ddad82ff5e13b8"
  next-thread="2009/01/fee560f02105bf4cb1f9565646c60a90"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="OCaml PLEAC reaches 100%">
<msg 
  url="2009/01/ff989057cc196f94952b5a35a0dd7dd0"
  from="Dave Benjamin &lt;dave@r...&gt;"
  author="Dave Benjamin"
  date="2009-01-30T14:52:48"
  subject="OCaml PLEAC reaches 100%">
<msg 
  url="2009/01/da12922c3aa3b92ea0ed38dbe1b4d48b"
  from="Daniel_Bünzli &lt;daniel.buenzli@e...&gt;"
  author="Daniel_Bünzli"
  date="2009-01-30T15:33:25"
  subject="Re: [Caml-list] OCaml PLEAC reaches 100%">
</msg>
<msg 
  url="2009/01/8eed19e3dfce9d286b14da52b2f7379f"
  from="Alexy Khrabrov &lt;deliverable@g...&gt;"
  author="Alexy Khrabrov"
  date="2009-01-30T18:40:37"
  subject="Re: [Caml-list] OCaml PLEAC reaches 100%">
<msg 
  url="2009/01/49f540c193ca2c583ca48e44df262300"
  from="David Teller &lt;David.Teller@u...&gt;"
  author="David Teller"
  date="2009-01-30T19:18:29"
  subject="Re: [Caml-list] OCaml PLEAC reaches 100%">
</msg>
</msg>
</msg>
</thread>

<contents>
Next step: the OCaml Batteries PLEAC :)

Cheers,
 David

(and thanks to Dave and all the contributors for their work)

On Fri, 2009-01-30 at 13:40 -0500, Alexy Khrabrov wrote:
&gt; I believe we all owe a great debt of gratitude to Dave who toiled with  
&gt; amazing perseverance and ingenuity for years to make it happen.  I'm  
&gt; going to teach my children to be as persistent as Dave!  This is  
&gt; nothing short of a miracle and a heroic achievement, IMHO, and a fun  
&gt; to read, too, as the examples are short and you always learn something  
&gt; new.  Kudos to Dave!
&gt; 
&gt; Cheers,
&gt; Alexy

-- 
David Teller-Rajchenbach
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
   La Recherche publique est liquidÃ©e. Les chercheurs sont en colÃ¨re.
   Latest News of French Research: System being liquidated. Researchers angry.

</contents>

</message>

