Thu, 30 Aug 2012 15:22:21 +0200 | wenzelm | proper merge of promises to avoid exponential blow-up in pathologic situations (e.g. lack of PThm wrapping); | changeset | files |
Wed, 29 Aug 2012 22:18:33 +0200 | wenzelm | tuned message; | changeset | files |
Wed, 29 Aug 2012 21:31:45 +0200 | wenzelm | discontinued old init_components script, superseded by init_components shell function as explained in README_REPOSITORY; | changeset | files |