| Sun, 12 May 2013 14:25:16 +0200 | wenzelm | decentralized historic settings; | file | diff | annotate |
| Sat, 11 May 2013 16:57:18 +0200 | wenzelm | prefer explicitly qualified exceptions, which is particular important for robust handlers; | file | diff | annotate |
| Tue, 15 Jan 2013 17:28:46 +0100 | wenzelm | avoid handling arbitrary exceptions, notably physical interrupts that would make the program erratic; | file | diff | annotate |