Münster Curry compiler release 0.9.1

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Mon, 11 Nov 2002 15:49:24 +0100

Dear Colleagues,

I've just released a new version of the Münster Curry Compiler which
fixes an annoying bug that prevented the cymake command and the
interactive environment from working on Solaris 2.7 (and probably other
OS'es).

In addition, it is now possible to set runtime options for the goal
with the :set command in the interactive environment. For instance,
if you are interested in how fast a goal is executed enter

   :set -p

at the prompt and the enter the goal.

Source and binary distributions are available at

   http://danae.uni-muenster.de/~lux/curry

Have fun
Wolfgang



_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Tue Nov 12 2002 - 08:44:47 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:04 CEST