| Wed, 16 Jan 2013 11:31:08 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 18 Nov 2012 15:38:37 +0100 | wenzelm | adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware; | file | diff | annotate |
| Wed, 22 Aug 2012 12:07:11 +0200 | wenzelm | clarified bootstrapping of Pure; | file | diff | annotate |