Y.D.X.
a9d5880dc8
docs: Update CHANGELOG, allow CC BY 4.0 license, and fix a markdown backquote
2025-06-10 17:44:10 +08:00
Y.D.X.
0918984249
Update Lean.sublime-syntax from Lean 3 to Lean 4
...
Resolves #3286
1. `lean4.json` → `lean4.tmLanguage`
1. Download `vscode-lean4/syntaxes/lean4.json` from https://github.com/leanprover/vscode-lean4/pull/623 (now merged).
2. Install the VS Code extension [TextMate Languages (pedro-w)](https://marketplace.visualstudio.com/items?itemName=pedro-w.tmlanguage ).
3. Open `lean4.json` in VS Code, <kbd>F1</kbd>, and “Convert to tmLanguage PLIST File”.
2. `lean4.tmLanguage` → `lean4.sublime-syntax`
Open `lean4.tmLanguage` in Sublime text, “Tools → Developer → New Syntax from lean4.tmLanguage…”.
2025-06-10 17:41:33 +08:00
Keith Hall
27ba45ded7
patch Monokai Extended theme for better Syslog error highlighting
2025-02-09 20:32:48 +02:00
rhysd
6568fb775d
Explain how to convert .tmLanguage.json and .tmLanguage.yml files in doc/assets.md
2023-10-04 09:09:54 +02:00
rhysd
d376a4b631
Add support for WGSL
2023-10-04 09:09:54 +02:00
David Peter
b29f66c40d
Merge branch 'master' into feat/env-extension
2022-10-30 20:45:39 +01:00
Ville Skyttä
6378a95308
Add more dotenv file types
...
Upstream PR: https://github.com/zaynali53/DotENV/pull/17
2022-10-30 08:25:10 +02:00
Wu Zhenyu
46dc044c03
Add new file_extensions for INI
...
- https://coverage.readthedocs.io/en/6.3.2/faq.html#q-can-i-find-out-which-tests-ran-which-lines
- https://pylint.pycqa.org/en/latest/user_guide/usage/run.html#command-line-options
- https://jorisroovers.com/gitlint/configuration/
2022-10-30 13:15:14 +08:00
Ville Skyttä
21bdcbb71f
Fix up punctuation and sorting in manual modifications doc
2022-10-17 19:50:14 +02:00
Ville Skyttä
43e1a11ad8
Make Package Control reference a link
2021-08-19 07:21:32 +02:00
Keith Hall
6d5ff671e7
Add HTTP Request/Response syntax as a git submodule
2021-07-29 21:36:16 +02:00
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
