Tue, 06 Jan 2009 14:43:35 +0100 | wenzelm | renamed structure ParList to Par_List; | file | diff | annotate |
Thu, 09 Oct 2008 21:06:08 +0200 | wenzelm | fixed spelling; | file | diff | annotate |
Thu, 09 Oct 2008 20:53:13 +0200 | wenzelm | Dummy version of parallel list combinators -- plain sequential evaluation. | file | diff | annotate |