Mon, 10 Jan 2011 16:45:28 +0100 | wenzelm | added merge_options convenience; | file | diff | annotate |
Sun, 12 Dec 2010 21:41:01 +0100 | krauss | tuned headers | file | diff | annotate |
Wed, 03 Nov 2010 11:11:49 +0100 | wenzelm | replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment; | file | diff | annotate |
Tue, 05 Oct 2010 14:19:43 +0200 | krauss | removed complicated (and rarely helpful) error reporting | file | diff | annotate |
Tue, 05 Oct 2010 14:19:40 +0200 | krauss | discontinued continuations to simplify control flow; dropped optimization in scnp | file | diff | annotate |
Tue, 05 Oct 2010 14:19:38 +0200 | krauss | use Cache structure instead of passing tables around explicitly | file | diff | annotate |