3 Commits

Include renames

Author	SHA1	Message	Date
sneeker	e723bb853d	feat(tools): showcase the core claim on the bundled example	2022-08-14 07:07:32 +00:00
sneeker	b0acf89085	feat(tools): pace recordings by the shell prompt	2022-08-11 12:02:20 +00:00
sneeker	b22649f0fa	feat(cli): report a version, and record a showcase	2022-08-08 08:18:30 +00:00