Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 2, 2023

• [port] Upgraded to master.

  Show description for 3f12f2a
  corwin-of-amber

  committed
  3f12f2a

  Copy full SHA for 3f12f2a

Commits on Apr 20, 2023

• [port] Switch to IMDEA repo.

  corwin-of-amber

  committed
  4f9ba36

  Copy full SHA for 4f9ba36

Commits on Feb 6, 2022

• [port] A patch for an error that occurs with Coq 8.15.

  Show description for 10ab512
  corwin-of-amber

  committed
  10ab512

  Copy full SHA for 10ab512

Commits on Jan 8, 2022

• [port] jsCoq 0.14.1.

  corwin-of-amber

  committed
  5f8ebd1

  Copy full SHA for 5f8ebd1

Commits on Apr 30, 2021

• [port] jsCoq 0.13.0.

  corwin-of-amber

  committed
  eae0f7d

  Copy full SHA for eae0f7d

Commits on Mar 4, 2021

• [port] v0.12.3.

  corwin-of-amber

  committed
  da082ce

  Copy full SHA for da082ce

Commits on Nov 14, 2020

• Recipe for HTT.

  Show description for 04187a3
  corwin-of-amber

  committed
  04187a3

  Copy full SHA for 04187a3

• Initial commit

  corwin-of-amber

  authored
  d3ce59f

  Copy full SHA for d3ce59f