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