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 MAA14758; Wed, 24 Apr 2002 12:32:53 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA14753 for caml-list@pauillac.inria.fr; Wed, 24 Apr 2002 12:32:53 +0200 (MET DST) 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 LAA22242 for ; Tue, 23 Apr 2002 11:23:28 +0200 (MET DST) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g3N9NRv18340 for ; Tue, 23 Apr 2002 11:23:27 +0200 (MET DST) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id LAA88885 ; Tue, 23 Apr 2002 11:23:26 +0200 (CEST) Received: from d85.lama.univ-savoie.fr (d85.lama.univ-savoie.fr [193.48.123.85]) by post.bourget.univ-savoie.fr (8.12.1/jtpda-5.4) with ESMTP id g3N9NIoR030313 ; Tue, 23 Apr 2002 11:23:18 +0200 Subject: [Caml-list] Re: TYPES 98 workshop *news* (3) From: Christophe Raffalli To: caml-list@inria.fr, raffalli Cc: types98-list@marla.tcs.informatik.uni-muenchen.de In-Reply-To: <13586.10675.790842.416278@marla.tcs.informatik.uni-muenchen.de> References: <13586.10675.790842.416278@marla.tcs.informatik.uni-muenchen.de> Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Mailer: Evolution/1.0.2-5mdk Date: 23 Apr 2002 11:23:31 +0200 Message-Id: <1019553815.3633.32.camel@d85.lama.univ-savoie.fr> Mime-Version: 1.0 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk The new version 0.8 of the Proof Assistant PhoX (written in OCaml) is=20 available.=20 Changes include: - Better documentation that should allow people to really use it ! - Tutorial (in french :-() to learn the system or to teach mathematics - Windows version available Come and visit http://www.lama.univ-savoie.fr/~RAFFALLI/phox.html --=20 Christophe Raffalli Universit=E9 de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex t=E9l: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners