History / Exercise File Format

Revisions

added Set Relation example

RTKno1 committed Aug 15, 2022

583a348
Updated Exercise File Format (markdown)

RTKno1 committed Aug 1, 2022

2cc54b0
Added Set Relation symbols

RTKno1 committed Aug 1, 2022

ff1696e
added note on typing of traces

aualsop committed Jan 18, 2021

6764e79
Created Exercise File Format (markdown)

nigelflower committed Dec 18, 2020

96f9311