| Thu, 09 Sep 2010 17:20:27 +0200 | wenzelm | more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally; | file | diff | annotate |
| Tue, 20 Jul 2010 17:35:42 +0200 | wenzelm | back to more strict dependencies, even for canceled groups (reverting parts of 02936e77a07c); | file | diff | annotate |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
| Fri, 19 Feb 2010 22:25:26 +0100 | wenzelm | eliminated opaque signature matching -- tends to cause problems with toplevel pp for abstract types; | file | diff | annotate |
| Sat, 06 Feb 2010 16:32:34 +0100 | wenzelm | removed unused "boundary" of Table/Graph.get_first; | file | diff | annotate |
| Wed, 06 Jan 2010 18:14:16 +0100 | wenzelm | eliminated cache, which complicates the code without making a real difference (NB: deque_towards often disrupts caching, and daisy-chaining of workers already reduces queue overhead); | file | diff | annotate |