| commit | 55e3927f58b848f0c980158527270b172a7ac68b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 07 21:47:25 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 07 21:47:25 1997 +0000 |
| tree | 10e85ee614d64cb37d3f86e8cbf61e188c09369d | |
| parent | d2c0ec78d20d5e4de34f87e273e6bfb5eb152987 [diff] |
New exception interface