Seasawher/mdgen

Issues

• auto create internal links

  #48 opened a month ago by Seasawher
  1

• use CLI tool for Lean

  #32 opened 2 months ago by Seasawher
  0

• support `library_note`

  #33 opened 2 months ago by Seasawher
  0

• add performance test

  #41 opened 2 months ago by Seasawher
  0

• treat `CRLF` EOL

  #38 opened 4 months ago by Seasawher
  2

• issue in "Lean by Example"

  #36 opened 4 months ago by Seasawher
  0

• separate test codes

  #35 opened 4 months ago by Seasawher
  0

• convert .lean extension to .md

  #25 opened 5 months ago by Seasawher
  1

• use test_driver

  #29 opened 5 months ago by Seasawher
  0

• use update workflow

  #28 opened 5 months ago by Seasawher
  0

• update to v4.9.0-rc1

  #26 opened 5 months ago by Seasawher
  0

• use official GitHub Action for Lean

  #22 opened 6 months ago by Seasawher
  0

• use lake test

  #17 opened 6 months ago by Seasawher
  0

• feat: link check

  #16 opened 6 months ago by Seasawher
  1

• feat: block ignoring

  #8 opened 7 months ago by Seasawher
  0

• treat doc comment in raw code block

  #12 opened 7 months ago by Seasawher
  0

• can't handle multiple raw code block

  #13 opened 7 months ago by Seasawher
  0

• issue for block comment

  #10 opened 7 months ago by Seasawher
  0

• Add testcase for lean code block in comment

  #7 opened 7 months ago by Seasawher
  0

• Add testcase for inner block comment

  #6 opened 7 months ago by Seasawher
  0

• add license

  #4 opened 10 months ago by Seasawher
  0

• don't delete files in `output_dir`

  #3 opened 10 months ago by Seasawher
  0

• incorrect error message

  #2 opened 10 months ago by Seasawher
  0

• compfilesを参考に、lake exeコマンドとして作る

  #1 opened 10 months ago by Seasawher
  0