Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 24, 2024

• Use a consistent logical path

  tchajed

  committed
  0a2930a

  Copy full SHA for 0a2930a

Commits on Jul 19, 2024

• Add -async-proofs-cache force

  tchajed

  committed
  4dd0043

  Copy full SHA for 4dd0043

Commits on Feb 29, 2020

• Modernize the build a bit

  tchajed

  committed
  1b3f5e7

  Copy full SHA for 1b3f5e7

Commits on Nov 19, 2018

• Move all examples into src/

  tchajed

  committed
  8e6efe4

  Copy full SHA for 8e6efe4

• Move Learn into a single file

  tchajed

  committed
  9369542

  Copy full SHA for 9369542

Commits on Nov 10, 2018

• Fix build for Learn

  tchajed

  committed
  4cf3288

  Copy full SHA for 4cf3288

• Some Makefile fixes

  tchajed

  committed
  83da026

  Copy full SHA for 83da026

Commits on Jul 21, 2018

• Mention loading Ltac with -noinit

  tchajed

  committed
  52891fa

  Copy full SHA for 52891fa

• Make sure examples compile

  tchajed

  committed
  60cc7fb

  Copy full SHA for 60cc7fb

Loading