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 |
|