From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA10486; Thu, 22 Nov 2001 16:52:39 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-announce@pauillac.inria.fr using -f
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA10070 for caml-announce@pauillac.inria.fr; Thu, 22 Nov 2001 16:52:39 +0100 (MET)
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 JAA30682 for <caml-announce@pauillac.inria.fr>; Thu, 22 Nov 2001 09:37:34 +0100 (MET)
Received: from ionie.inria.fr (ionie.inria.fr [128.93.39.12])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fAM8bXr29070;
	Thu, 22 Nov 2001 09:37:33 +0100 (MET)
Received: from ionie.inria.fr (localhost [127.0.0.1])
	by ionie.inria.fr (8.11.1/8.11.1) with ESMTP id fAM8bXH01141;
	Thu, 22 Nov 2001 09:37:33 +0100 (MET)
Message-Id: <200111220837.fAM8bXH01141@ionie.inria.fr>
X-Mailer: exmh version 2.1.1 10/15/1999
To: caml-announce@inria.fr
Cc: Francois.Thomasset@inria.fr (Francois Thomasset)
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Mime-Version: 1.0
Content-Transfer-Encoding: 8bit
Date: Thu, 22 Nov 2001 09:37:33 +0100
From: Francois Thomasset <francois.thomasset@inria.fr>
Sender: owner-caml-announce@pauillac.inria.fr
Precedence: bulk

Comme nous devions convertir nos programmes de Maple à MuPad, j'ai écrit un 
outil en OCaml pour nous assister dans ce travail. Je mets cet outil à la 
disposition de la communauté :
http://www-rocq.inria.fr/~thomasse/Maple-MuPad/

I have written in OCaml a small tool that may help to convert a Maple code to 
MuPad.


					François Thomasset.
					INRIA (A3)

Tel: +33 (1) 39-63-54-75
Fax: +33 (1) 39-63-53-30 ou +33 (1) 39-63-59-95
Email: Francois.Thomasset@inria.fr
Smail: INRIA, Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France