From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA11199 for caml-redistribution; Fri, 28 Mar 1997 12:14:34 +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 JAA09123 for ; Fri, 28 Mar 1997 09:00:39 +0100 (MET) Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id JAA05862 for ; Fri, 28 Mar 1997 09:00:37 +0100 (MET) Received: from lip.ens-lyon.fr (lip [140.77.11.11]) by cri.ens-lyon.fr (8.8.5/8.8.1) with ESMTP id JAA14218 for ; Fri, 28 Mar 1997 09:00:36 +0100 (MET) Received: from anjou.ens-lyon.fr (anjou [140.77.11.117]) by lip.ens-lyon.fr (8.8.5/8.8.0) with ESMTP id JAA14339 for ; Fri, 28 Mar 1997 09:00:33 +0100 (MET) Received: (from jcfillia@localhost) by anjou.ens-lyon.fr (8.8.5/8.8.0) id JAA16294 for caml-list@inria.fr; Fri, 28 Mar 1997 09:00:34 +0100 (MET) Date: Fri, 28 Mar 1997 09:00:34 +0100 (MET) Message-Id: <199703280800.JAA16294@anjou.ens-lyon.fr> From: Jean-Christophe Filliatre To: caml-list@inria.fr Subject: TP d'Informatique en classes préparatoires Reply-to: Jean-Christophe.Filliatre@ens-lyon.fr (Jean-Christophe Filliatre) Content-Type: text/plain Sender: weis [english translation follows] Bonjour, J'ai regroupé un certain nombre de TP d'Informatique en Caml Light que j'ai donnés cette année en classes préparatoires MP et MP*, option informatique, sur une page Web. Chaque sujet est accompagné d'une solution. La page se trouve à l'adresse suivante : http://www.ens-lyon.fr/~jcfillia/tp_caml.fr.html Cette page est accessible à partir de la page officielle de Caml (paragraphe Enseignement) ainsi qu'à partir de ma page personnelle. Vous pouvez également récupérer les sujets et corrigés directement par FTP à l'adresse suivante : ftp://ftp.ens-lyon.fr/pub/users/LIP/jcfillia/tp-info/ N'hésitez pas à m'envoyer vos commentaires sur ces sujets. --Jean-Christophe FILLIATRE email: Jean-Christophe.Filliatre@ens-lyon.fr WWW : http://www.ens-lyon.fr/~jcfillia ====================================================================== [english] I have collected few computer science problems (in Caml Light) on a Web page. Unfortunately, the problems are *in french*. They were given to first degree students, in 2 hours sessions. Each one is available with a solution. All the stuff is available either by HTTP or by FTP at http://www.ens-lyon.fr/~jcfillia/tp_caml.fr.html ftp://ftp.ens-lyon.fr/pub/users/LIP/jcfillia/tp-info/ All comments are welcome. --Jean-Christophe FILLIATRE email: Jean-Christophe.Filliatre@ens-lyon.fr WWW : http://www.ens-lyon.fr/~jcfillia