You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -11,5 +11,5 @@ A plugin for [Obsidian](https://obsidian.md) providing live syntax highlight for
11
11
- Click Install
12
12
- Once installed, close the community plugins window and activate the newly installed plugin
13
13
14
-
Note: This plugin is mostly a fork from [cm-editor-syntax-highlight-obsidian](https://github.com/deathau/cm-editor-syntax-highlight-obsidian)
14
+
Note: This plugin is mostly a fork from [cm-editor-syntax-highlight-obsidian](https://github.com/deathau/cm-editor-syntax-highlight-obsidian) and from [obsidian-mlir-syntax-highlight](https://github.com/Lewuathe/obsidian-mlir-syntax-highlight),
15
15
but only providing support for Lean (as other languages are already natively supported by Obsidian).
0 commit comments