Re: [peppy-dev] Digest for peppy-dev@googlegroups.com - 4 Messages in 2 Topics

4 views
Skip to first unread message

Søren Renner

unread,
Jan 30, 2010, 10:17:30 AM1/30/10
to pepp...@googlegroups.com
Yes, Caml is pretty much the same as ML. Possibly identical. I'm not expert on these languages (yet).

On Sat, Jan 30, 2010 at 6:37 AM, <peppy-de...@googlegroups.com> wrote:

Group: http://groups.google.com/group/peppy-dev/topics

    Rob McMullen <rob.mc...@gmail.com> Jan 29 12:41PM -0800 ^
     
    > I would like to add a coloring mode for ML and then adapt that for
    > Manticore.  http://manticore.cs.uchicago.edu/
     
    Excellent, I'd be happy to include it with peppy. Probably the best
    thing to do would be to see if there's already a similar major mode
    and work from there. I don't know anything about ML; is it similar to
    one of the existing modes in peppy/major_modes?
     
    Rob

     

    Rob McMullen <rob.mc...@gmail.com> Jan 29 09:35AM -0800 ^
     
    > Problem with Enchant version 1.5.3.  Turning off spell checking.
     
    I just upgraded to pyenchant 1.5.3, and it seems to work for me. Is
    it a non-English language?
     
    Do you know what the version number is of the system's underlying
    enchant library? I'm at 1.4.2 on my machine, and my package manager
    (gentoo) doesn't have a build for enchant 1.5.0 which is the latest
    version on http://www.abisource.com/projects/enchant/
     
    Rob

     

--
You received this message because you are subscribed to the Google Groups "peppy-dev" group.
To post to this group, send email to pepp...@googlegroups.com.
To unsubscribe from this group, send email to peppy-dev+...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/peppy-dev?hl=en.

Reply all
Reply to author
Forward
0 new messages