From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 31E7CBB84 for ; Fri, 26 Sep 2008 19:01:11 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqUDAKOy3EjRVdkPgGdsb2JhbACLeYZpPgEBFCShUAVmhy0BAoMe X-IronPort-AV: E=Sophos;i="4.33,315,1220220000"; d="scan'208";a="17805019" Received: from mail-gx0-f15.google.com ([209.85.217.15]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2008 19:01:10 +0200 Received: by gxk8 with SMTP id 8so8516749gxk.3 for ; Fri, 26 Sep 2008 10:01:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date :user-agent:cc:references:in-reply-to:content-type :content-transfer-encoding:content-disposition:message-id; bh=/3hlApWKd+OaR5TOzSOoxrGEoz5Ay4xhgbxvOk3o0xM=; b=iS0QYNPX+i3nTN7xdsdwL84SkZkBkA6VuoQbJNxdrV/dfbq75m3ZZZNu4PpNtRAvKf xVHRvAu02P7AIjWm7v+Di/AvK65HCl6kaGXIuCGX6NgTGXyQA45H/6xJSKF7aue2MyDm SQ5m24Q0+kvjTxdnvX27ejVrbOVO8QTGCodC4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to :content-type:content-transfer-encoding:content-disposition :message-id; b=cJq+G0kU6mHCPbB+OIAw51KvpCN01WZ/iSJDmj/0sF4XYhNeOP6AVZSq0Q/v9HLg4a BXtfBWLc5hwSy+jwht5sr+rv4S+fxl7GFtaGH/8bXIDZ0FvYww63UUy67n4hA6zbBqge I74hNhgj5QYZVwP/lkBXBGdwE5/UI8PwC2KO0= Received: by 10.100.33.13 with SMTP id g13mr1450397ang.96.1222448469679; Fri, 26 Sep 2008 10:01:09 -0700 (PDT) Received: from lawn-143-215-204-204.lawn.gatech.edu ( [143.215.204.204]) by mx.google.com with ESMTPS id c16sm3753820anc.31.2008.09.26.10.01.08 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 26 Sep 2008 10:01:09 -0700 (PDT) From: Peng Zang Reply-To: peng.zang@gmail.com To: caml-list@yquem.inria.fr, Andrej.Bauer@andrej.com Subject: Re: [Caml-list] Teaching ocaml programming Date: Fri, 26 Sep 2008 13:01:05 -0400 User-Agent: KMail/1.9.7 Cc: Caml References: <715700.7037.qm@web54607.mail.re2.yahoo.com> <48DD0B19.7080802@andrej.com> In-Reply-To: <48DD0B19.7080802@andrej.com> Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200809261301.07773.peng.zang@gmail.com> X-Spam: no; 0.00; ocaml:01 hash:01 andrej:01 gedit:01 ocaml:01 syntax:01 compilation:01 emacs:01 gedit:01 emacs:01 programmatic:01 compilation:01 doable:01 peng:98 peng:98 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Friday 26 September 2008 12:17:29 pm Andrej Bauer wrote: > As far as I see, there are two options: > > 1) Windows + Eclipse + OcaIDE > > 2) Linux. > > The students know next to nothing about Unix. If I dive into using > Linux, then I might as well setup anonymous subversion access to source > code. They could use gedit for editing (it has ocaml syntax hilight > mode), and the shell for ocamlbuild. The only unresolved question is how > to deal with compilation errors. I want to say use Emacs here. You can configure it behave like gedit if you really want. Buut, I get the impression you're not willing to consider Emacs for whatever reason. So, if gedit has a programmatic interface you can write shell script to parse the compilation errors (just look for line numbers) and send a command to gedit to go to the appropriate line. I don't know if gedit has that capability, but certainly there may be other text editors that do. > The generation that I am getting is very small (maybe 10 students), so > this might be doable with such a small number. > > I will think about it. Thanks for your suggestions. > > By the way, Live CD is not really an option. I suspect the computer lab > computers are "protected" against that. That's too bad. But definitely find out, the Live CD option is great. Next to zero work for a perfect setup. Peng -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD8DBQFI3RVTfIRcEFL/JewRAiS3AJ40U434A7p5GWczwxWdVf4G6yL2BACghHy5 0JiT/8s1jrbeYK8YC2zJhsc= =tGZI -----END PGP SIGNATURE-----