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 TAA05776 for caml-redistribution; Tue, 30 Mar 1999 19:11:42 +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 LAA01104 for ; Tue, 30 Mar 1999 11:59:16 +0200 (MET DST) Received: from mistral.univ-bpclermont.fr (mistral.univ-bpclermont.fr [193.54.50.10]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA01873 for ; Tue, 30 Mar 1999 11:59:14 +0200 (MET DST) Received: (from jserot@localhost) by mistral.univ-bpclermont.fr (8.7.1/8.7.1) id LAA07704 for caml-list@inria.fr; Tue, 30 Mar 1999 11:59:13 +0200 (METDST) From: Jocelyn Serot Message-Id: <199903300959.LAA07704@mistral.univ-bpclermont.fr> Subject: Some extensions to Camlidl-1.00 - Correction To: caml-list@inria.fr (Caml mailing list) Date: Tue, 30 Mar 1999 11:59:13 METDST X-Mailer: Elm [revision: 212.2] Sender: weis Hello, Concerning my last announce about the CamlIDL extensions, X. Leroy just pointed out to me that the direct distribution of modified sources actually violates the original LICENSE terms. I entirely agree with him. The extensions i wrote are therefore now available in the form of a diff file (i learned how to use it since ;-)) at the address: http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/soft/patch-camlidl Hope that helps, J. Serot -- E-mail: Jocelyn.Serot@lasmea.univ-bpclermont.fr ............................. S-mail: LASMEA - UMR 6602 CNRS, Universite Blaise Pascal, 63177 Aubiere cedex Tel: (33) 04 73.40.73.30 - Fax: (33) 04 73.40.72.62 ......................... .... http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/Welcome.html