| Fri, 14 Nov 2014 11:19:14 +0100 | wenzelm | proper sequential version (cf. 302104d8366b); | file | diff | annotate |
| Thu, 18 Aug 2011 17:30:47 +0200 | wenzelm | updated sequential version (cf. b94951f06e48); | file | diff | annotate |
| Sat, 05 Feb 2011 20:38:32 +0100 | wenzelm | more tracing information via Par_List.map_name; | file | diff | annotate |
| Thu, 01 Oct 2009 18:21:11 +0200 | wenzelm | more official status of sequential implementations; | file | diff | annotate | base |