obsidian-plugin/tomaz1502_lean-syntax-highlight
1
0
Fork 0
mirror of https://github.com/tomaz1502/lean-syntax-highlight.git synced 2026-07-22 09:30:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
No description
12 commits 2 branches 4 tags 53 KiB
JavaScript 94.7%
TypeScript 5.3%
Find a file
tomaz1502 d4cc1c5936 Fix version number on manifest
2025-02-04 23:59:51 -03:00
lib first commit 2024-01-20 20:23:07 +01:00
mode/lean Support nested comments 2025-02-04 23:56:04 -03:00
.gitignore first commit 2024-01-20 20:23:07 +01:00
LICENSE first commit 2024-01-20 20:23:07 +01:00
main.ts stop deletting other modes and removed deprecated code 2024-02-27 19:55:50 +01:00
manifest.json Fix version number on manifest 2025-02-04 23:59:51 -03:00
package-lock.json update plugin name 2024-02-06 00:57:17 +01:00
package.json update plugin name 2024-02-06 00:57:17 +01:00
README.md update README 2024-02-06 00:21:53 +01:00
rollup.config.js first commit 2024-01-20 20:23:07 +01:00
tsconfig.json first commit 2024-01-20 20:23:07 +01:00
versions.json first commit 2024-01-20 20:23:07 +01:00

README.md

Lean Syntax Highlight for Obsidian

A plugin for Obsidian providing live syntax highlight for the Lean programming language.

Installation

  • Open Settings > Third-party plugin
  • Make sure Safe mode is off
  • Click Browse community plugins
  • Search for "Lean Syntax Highlight"
  • Click Install
  • Once installed, close the community plugins window and activate the newly installed plugin

Note: This plugin is mostly a fork from cm-editor-syntax-highlight-obsidian and from obsidian-mlir-syntax-highlight, but only providing support for Lean (as other languages are already natively supported by Obsidian).