Re: Münster Curry compiler release 0.9.1

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Tue, 12 Nov 2002 15:04:00 +0100

I have just updated the archives because of a minor error in the
distribution (program newer was included but not installed).

Wolfgang

> 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


--
Wolfgang Lux                              Phone: +49-251-83-38263
Institut fuer Wirtschaftinformatik          FAX: +49-251-83-38259
Universitaet Muenster                 Email: wlux_at_uni-muenster.de
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Nov 12 2002 - 15:27:11 CET

This archive was generated by hypermail 2.3.0 : Sa Dez 07 2019 - 07:15:06 CET