Commit Graph

8 Commits

Author SHA1 Message Date
David Peter
22924532d0
Fix link in doc/assets.md 2021-01-09 21:43:25 +01:00
sharkdp
8c0dcf3b57 Update syntax test instructions 2021-01-02 21:21:28 +01:00
sharkdp
962b3a78c0 Add step-by-step guide to add syntax tests, see #1211 2021-01-02 10:21:02 +01:00
Julian Berman
1a04dcf10f Add Lean.sublime-syntax.
Covers syntax for Lean 3, an interactive theorem prover
at https://leanprover-community.github.io/ whose users
mostly use VSCode.
2021-01-02 09:45:19 +01:00
sharkdp
6d0e7650c3 Add .resource extension for Robot Framework 2020-12-29 09:04:34 +01:00
sharkdp
51463a4b41 Change Robot syntax name to 'Robot Framework' 2020-11-23 14:16:37 +01:00
sharkdp
bf78b74db4 Minor README improvements 2020-10-14 08:24:20 +02:00
Terence
f80fba4d24
Integrate README.md with new assets.md (#1293) 2020-10-14 08:18:11 +02:00