Google Groups Home
Help | Sign in
fa.caml
+ new post
About this group
Subscribe to this group
This is a Usenet group - learn more
OCamlTeX 0.6 release
Options
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
   1 message - Collapse all
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Geoffrey Alan Washburn  
View profile
  More options Jul 15 2006, 12:43 pm
Newsgroups: fa.caml
From: Geoffrey Alan Washburn <geo...@cis.upenn.edu>
Date: Sat, 15 Jul 2006 16:43:58 UTC
Local: Sat, Jul 15 2006 12:43 pm
Subject: [Caml-list] OCamlTeX 0.6 release
Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author
I just finished a new release of OCamlTeX, which fixes several bugs,
provides much more useful error reporting, and significantly more
documentation.  You can grab the latest using the darcs version control
system by running

     darcs get http://free-the-mallocs.com/repos/ocamltex

For more information, check out
http://free-the-mallocs.com/index.php?n=Software.OCamlTeX.

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google