Code

Add Lean support#3765

Code

Open

tomaz1502 wants to merge 12 commits intoPrismJS:masterPrismJS/prism:masterfrom tomaz1502:lean-supporttomaz1502/prism:lean-supportCopy head branch name to clipboard

+260-2

Commits

Commits on Oct 29, 2023

• update components.json

  tomaz1502

  committed
  2a8d0d9

• update components.js

  tomaz1502

  committed
  1074c52

Commits on Jan 7, 2024

• initial

  tomaz1502

  committed
  76c215e

• lean initial tests

  tomaz1502

  committed
  f291abd

• empty example to pass the test

  tomaz1502

  committed
  e5a9112

• progress

  tomaz1502

  committed
  3db8548

Commits on Jan 15, 2024

• Added strings and quotation

  tomaz1502

  committed
  8ec9e6d

Commits on Jan 17, 2024

• Update lean decorator_feature.test

  tomaz1502

  committed
  e463c34

• Adds example.

  tomaz1502

  committed
  a3455cd

• Fix tests.

  Show description for 7942ff9
  tomaz1502

  committed
  7942ff9

Commits on Jan 31, 2024

• patching comment feature

  tomaz1502

  committed
  48f64bb

Commits on Feb 5, 2024

• fix string regex and remove greedy from comments

  tomaz1502

  committed
  c1943f7