Tony Garnock-Jones 486a631e73 Add strip_annotations function and expose it in preserves-tool		2021-09-30 12:41:29 +02:00
..
demo.prs	Some tool docs; improve help message of preserves-tool	2021-06-04 17:47:16 +02:00
preserves-schema-rkt.md	Some tool docs; improve help message of preserves-tool	2021-06-04 17:47:16 +02:00
preserves-schema-rs.md	Update docs	2021-09-02 13:46:49 +02:00
preserves-schema-ts.md	Some tool docs; improve help message of preserves-tool	2021-06-04 17:47:16 +02:00
preserves-schemac.md	Some tool docs; improve help message of preserves-tool	2021-06-04 17:47:16 +02:00
preserves-tool.md	Add strip_annotations function and expose it in preserves-tool	2021-09-30 12:41:29 +02:00
schema-tools.md	Update docs	2021-09-02 13:46:49 +02:00