Commits

Breadcrumbs

History for

on2935371

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 21, 2022

• Optimize building speed of GPOS

  be5invis

  committed
  d3991a8

  Copy full SHA for d3991a8

Commits on Jul 20, 2021

• * Fix anchor placement of:

  Show description for 2526b3a
  be5invis

  committed
  2526b3a

  Copy full SHA for 2526b3a

Commits on Jul 27, 2020

• Add corpus for legibility test (be5invis#645).

  be5invis

  committed
  c02d563

  Copy full SHA for c02d563

Commits on Jan 23, 2020

• Symbols: Further Agda high-frequency symbol support

  be5invis

  committed
  3103278

  Copy full SHA for 3103278

Loading