Commits

Breadcrumbs

History for

on18d69af

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 30, 2024

• ignore lean_decls

  kbuzzard

  committed
  18d69af

Commits on Apr 29, 2024

• ignore files generated by LaTeX

  kbuzzard

  committed
  2978bec

Commits on Dec 6, 2023

• .gitignore finally OK

  kbuzzard

  committed
  21f0853

• attempt to remove some junk files

  kbuzzard

  committed
  4309bb3

Commits on Nov 27, 2023

• Fix inv dev

  utensil

  committed
  33c5238

Commits on Nov 25, 2023

• Only build for main

  utensil

  committed
  faaab2d

• Initial setup of the blueprint, docs and the project page

  utensil

  committed
  da34ffc

Commits on Nov 22, 2023

• add .lake to .gitignore

  kbuzzard

  committed
  0198723

Commits on Nov 19, 2023

• initialise git repo

  kbuzzard

  committed
  be00edb

Loading