Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 9, 2023

• ask user to provide name of type constructors as strings instead of bytestrings

  olympichek

  committed
  6021d08

  Copy full SHA for 6021d08

• open bytestrings scope

  Show description for 8bd2425
  olympichek

  committed
  8bd2425

  Copy full SHA for 8bd2425

Commits on Dec 8, 2023

• coq-8.18 port

  olympichek

  committed
  919796a

  Copy full SHA for 919796a

Commits on Jan 29, 2021

• coq-8.13 port

  vzaliva

  committed
  9cf3541

  Copy full SHA for 9cf3541

Commits on Sep 24, 2020

• v1.0.4 for coq 8.12

  vzaliva

  committed
  91b6559

  Copy full SHA for 91b6559

Commits on Sep 22, 2020

• version 1.0.3 compatible with metacoq 1.0~beta1+8.11

  vzaliva

  committed
  1015cd2

  Copy full SHA for 1015cd2

Commits on Mar 13, 2020

• 1.0.2 version compatible with coq-8.10.2

  vzaliva

  committed
  5fdd167

  Copy full SHA for 5fdd167

Commits on Oct 9, 2019

• port to Coq-8.9.1

  vzaliva

  committed
  8fbf6d3

  Copy full SHA for 8fbf6d3

Commits on Apr 28, 2019

• coq-8.9 compat

  vzaliva

  committed
  f8631f1

  Copy full SHA for f8631f1

Commits on Sep 27, 2018

• code reorg, makefile, namespace

  vzaliva

  committed
  7cb1c60

  Copy full SHA for 7cb1c60

Loading