| Mon, 25 Aug 2008 20:01:17 +0200 | wenzelm | simplified exceptions: use plain error function / RuntimeException; | changeset | files |
| Mon, 25 Aug 2008 16:52:11 +0200 | wenzelm | added try_result; | changeset | files |
| Sun, 24 Aug 2008 21:15:48 +0200 | wenzelm | misc reorganization; | changeset | files |
| Sun, 24 Aug 2008 21:15:46 +0200 | wenzelm | Kind: added is_control; | changeset | files |