Tue, 19 Jul 2022 00:10:39 +0200  Jan Dankert Fetched from upstream.
Mon, 27 Jun 2022 00:41:50 +0200  Jan Dankert Fetched from upstream.
Sun, 26 Jun 2022 16:09:55 +0200  Jan Dankert More examples.
Sun, 26 Jun 2022 16:04:19 +0200  Jan Dankert Fetched from upstream; More examples.
Sun, 26 Jun 2022 15:47:05 +0200  Jan Dankert Fetched from upstream.
Sun, 26 Jun 2022 11:45:51 +0200  Jan Dankert Fetched from upstream.
Tue, 7 Jun 2022 23:40:09 +0200  Jan Dankert More documentation.
Tue, 7 Jun 2022 23:33:20 +0200  Jan Dankert Fetched from upstream: support for "throw".
Tue, 7 Jun 2022 23:12:47 +0200  Jan Dankert Fetched from upstream and enhanced documentation.
Mon, 6 Jun 2022 23:11:33 +0200  Jan Dankert More documentation.