We
 are happy to announce a new release of ParaSail.  This new release 
incorporates an enhanced interactive debugger that is automatically 
invoked when 
the interpreter encounters an assertion, precondition, or postcondition 
that fails at run-time.  In addition, the sources for run-time library 
code that is potentially linked into compiled ParaSail programs now 
carries a license which allows such compiled programs to be distributed 
as the user sees fit.
In any case, here is the new release [link updated -- was incorrect]:
It
 is a "zip" archive of sources and binaries for Mac, Linux, and 
Windows.  Mac and Linux include executable binaries for a bootstrapped 
LLVM-generating ParaSail compiler.  Windows only contains the executable
 binaries for the ParaSail interpreter.
The web page for ParaSail is still:
From
 a documentation point of view, the most exciting news is that we have 
recently published a full description of the ParaSail language in the 
new 
academic "Programming Journal":
Please
 take a look at this article to see a comprehensive description of 
ParaSail, and how it fits into the world of programming language design.
Here
 is the latest reference manual (which is also linked from the ParaSail 
web page, and included in the "zip" archive for release 8.4):