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

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


Have fun

curry mailing list
Received on Di Nov 12 2002 - 08:44:47 CET

This archive was generated by hypermail 2.3.0 : Mo Dez 04 2023 - 07:15:06 CET