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

0 releases 4 tags

RSS feed

Tags

0.0.4

2025-02-05 02:56:04 +00:00 22b7540018 ZIP TAR.GZ

0.0.3

2024-02-27 18:55:50 +00:00 dd815a1be2 ZIP TAR.GZ

0.0.2

2024-02-15 15:46:40 +00:00 351d578908 ZIP TAR.GZ

0.0.1

2024-02-05 23:33:49 +00:00 27b4106fd4 ZIP TAR.GZ