Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on May 16, 2025

• better support for lm

  

  Roland Leißa

  committed
  3bb7b1d

  Copy full SHA for 3bb7b1d

Commits on Feb 28, 2025

• more iabbrev

  

  Roland Leißa

  committed
  8ed2103

  Copy full SHA for 8ed2103

Commits on Feb 13, 2025

• adding iabbrev for singleton types

  

  Roland Leißa

  committed
  19af2de

  Copy full SHA for 19af2de

Commits on Jan 4, 2025

• updated to newer syntax

  

  Roland Leißa

  committed
  099e2e0

  Copy full SHA for 099e2e0

Commits on Oct 12, 2024

• thorin2 -> mim

  

  Roland Leißa

  committed
  22f15ec

  Copy full SHA for 22f15ec

Commits on May 28, 2024

• added iabbrev

  

  Roland Leißa

  committed
  540cc9e

  Copy full SHA for 540cc9e

Commits on May 10, 2024

• abbrev

  

  Roland Leißa

  committed
  f5d4316

  Copy full SHA for f5d4316

Commits on Apr 23, 2024

• update syntax

  

  Roland Leißa

  committed
  37809a1

  Copy full SHA for 37809a1

Commits on Mar 24, 2024

• highlighting for new lexer features

  

  Roland Leißa

  committed
  cd4a140

  Copy full SHA for cd4a140

Commits on Aug 5, 2022

• initial commit

  

  Roland Leißa

  committed
  4b77687

  Copy full SHA for 4b77687

• Initial commit

  

  Roland Leißa

  authored
  4173da9

  Copy full SHA for 4173da9