Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 25, 2024

• Make it compile with the updated libraries

  joom

  committed
  3f2b87a

  Copy full SHA for 3f2b87a

Commits on Oct 25, 2023

• Update submodules + gitignore

  joom

  committed
  e729c84

  Copy full SHA for e729c84

Commits on Sep 1, 2023

• A lot of changes

  joom

  committed
  b7514b0

  Copy full SHA for b7514b0

Commits on Jul 18, 2023

• Reorganize type classes, fix Desc generation, other small fixes

  joom

  committed
  dc29440

  Copy full SHA for dc29440

Commits on Nov 23, 2021

• Add Makefile generated things to gitignore

  joom

  committed
  3d860ca

  Copy full SHA for 3d860ca

Commits on Nov 22, 2021

• Update to Coq 8.13, some reorganisation, added top-level make file that is runnable inside Docker

  

  Docker

  committed
  7d15951

  Copy full SHA for 7d15951

Commits on Jan 20, 2021

• Initial commit

  joom

  authored
  da58dd4

  Copy full SHA for da58dd4

Loading