| commit | a7be8e492eaaf34119b0ec238800cf4c45e3cf02 | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sun Nov 08 01:22:41 2020 +0000 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sun Nov 08 01:22:41 2020 +0000 |
| tree | 7702cefa90022a66a0cb593d2c04822d6c4bd7dc | |
| parent | f7f3f554e91e0273b599e4f0c1ff8b77c6ca5d32 [diff] |
Improved syntax highlighting and example