Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 29, 2023

• Update src/dune.in

  Show description for 4777e77
  Alizter

  committed
  4777e77

  Copy full SHA for 4777e77

Commits on Nov 28, 2023

• Fix

  pi8027

  committed
  c344d24

  Copy full SHA for c344d24

Commits on Nov 27, 2023

• dune: bump to 3.8

  Show description for 116ed10
  Alizter

  committed
  116ed10

  Copy full SHA for 116ed10

Commits on Sep 29, 2021

• Add coq-native support (if available) as per CEP 48 (#45)

  Show description for c0d3db4
  erikmd

  authored
  c0d3db4

  Copy full SHA for c0d3db4

Commits on Dec 27, 2020

• Moving build system to dune

  strub

  committed
  3485ea6

  Copy full SHA for 3485ea6

Commits on Nov 28, 2019

• Simplifying CI

  strub

  committed
  7a2caba

  Copy full SHA for 7a2caba

Commits on Feb 12, 2016

• move to Coq 8.5 + compat script for 8.4

  Show description for c485e06
  strub

  committed
  c485e06

  Copy full SHA for c485e06

Commits on Oct 2, 2014

• All needed machinery for installing a local copy of ssr.

  strub

  committed
  2bfb8b3

  Copy full SHA for 2bfb8b3

• Remove the copy of ssreflect.

  strub

  committed
  19ed931

  Copy full SHA for 19ed931

Commits on May 20, 2014

• General layout + SSReflect import

  Show description for f0ded47
  strub

  committed
  f0ded47

  Copy full SHA for f0ded47

Loading