Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 8, 2025

• Mention lean-slides

  gleachkr

  committed
  d875480

  Copy full SHA for d875480

• Balance parentheses

  gleachkr

  committed
  51e55ec

  Copy full SHA for 51e55ec

• Remove redundant sentence.

  gleachkr

  committed
  8aef162

  Copy full SHA for 8aef162

• Add a few details to README, fix typo

  gleachkr

  committed
  6227492

  Copy full SHA for 6227492

• Document templates

  gleachkr

  committed
  206e140

  Copy full SHA for 206e140

Commits on Jan 7, 2025

• Add HTML/latex templates

  gleachkr

  committed
  24f378e

  Copy full SHA for 24f378e

• Improve whitespace handling

  gleachkr

  committed
  189dee3

  Copy full SHA for 189dee3

Commits on Jan 5, 2025

• Add lean language class for code blocks

  gleachkr

  committed
  2179d3a

  Copy full SHA for 2179d3a

• Improve README, change format specifier syntax

  gleachkr

  committed
  bb18f8e

  Copy full SHA for bb18f8e

Commits on Jan 4, 2025

• Skip empty code blocks

  gleachkr

  committed
  8ba40fe

  Copy full SHA for 8ba40fe

• Ignore certain prefixes

  gleachkr

  committed
  d87fb62

  Copy full SHA for d87fb62

• Improve luals setup

  gleachkr

  committed
  b3d082e

  Copy full SHA for b3d082e

Commits on May 4, 2023

• Add WIP README

  gleachkr

  committed
  50e9011

  Copy full SHA for 50e9011

Commits on Apr 18, 2023

• Fix empty prefix error

  gleachkr

  committed
  c9240da

  Copy full SHA for c9240da

Commits on Apr 12, 2023

• Add support for specifying an alternative pandoc reader

  gleachkr

  committed
  585a235

  Copy full SHA for 585a235

Commits on Feb 22, 2023

• Add commonmark parsing

  gleachkr

  committed
  b82bc2b

  Copy full SHA for b82bc2b

Commits on Feb 21, 2023

• initial commit

  gleachkr

  committed
  63ab7fc

  Copy full SHA for 63ab7fc