Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 13, 2024

• Merge pull request #38 from coq-community/fix-warning-attribute

  tchajed

  authored
  e053c97

• Fix the syntax explaining the warning attribute

  tchajed

  committed
  14b112a

Commits on Jul 27, 2024

• link to Function.v and mention Equations (#37)

  palmskog

  authored
  5b7af75

Commits on Jul 26, 2024

• ensure all URLs have hyperlinks (#36)

  palmskog

  authored
  e175ae3

• absolute link substitution using sed in pages deployment

  

  palmskog

  authored and

  tchajed

  committed
  a4b22ce

• only absolute links for licenses

  

  palmskog

  authored and

  tchajed

  committed
  61c1ba2

• add deployment of README.md as index.md in gh-pages branch

  

  palmskog

  authored and

  tchajed

  committed
  aa0ee20

• make links in README.md absolute

  

  palmskog

  authored and

  tchajed

  committed
  a3c6fb3

Commits on Jul 24, 2024

• Add an explanation of skipping Qeds

  tchajed

  committed
  83804bd

• Reduce the preamble before the first trick

  tchajed

  committed
  7e4da29

• Use a consistent logical path

  tchajed

  committed
  0a2930a

• add meta.yml and generate boilerplate from templates

  

  palmskog

  authored and

  tchajed

  committed
  8e0daba

Commits on Jul 22, 2024

• Merge pull request #30 from tchajed/fix-cc0

  tchajed

  authored
  cc583bb

• Fix use of CC0

  tchajed

  committed
  a9738f0

• Update CI config

  tchajed

  committed
  0a59c13

• Merge pull request #28 from tchajed/license

  tchajed

  authored
  06cb7dd

• License documentation under CC0

  tchajed

  committed
  d501187

• Add MIT license

  tchajed

  committed
  bb47ea1

Commits on Jul 19, 2024

• Merge pull request #26 from tchajed/cleanup

  tchajed

  authored
  e339dfb

• Clean up to various descriptions in README

  tchajed

  committed
  1df297d

• Merge pull request #25 from tchajed/uniform-inheritance-tricks

  tchajed

  authored
  ff67959

• The uniform inheritance condition is gone

  tchajed

  committed
  be03402

• Add note about issue 9814

  tchajed

  committed
  aa1d53c

• Merge pull request #23 from snyke7/master

  tchajed

  authored
  702e59e

• Add -async-proofs-cache force

  tchajed

  committed
  4dd0043

Commits on Jul 15, 2024

• Add trick for defining Tactic Notations with multiple optional parameters

  snyke7

  committed
  4f92b72

Commits on Jun 18, 2024

• Fix broken link to OCaml Gc.compact

  tchajed

  committed
  ec86902

Commits on Apr 11, 2024

• Fix dead links to manual

  tchajed

  committed
  8636f83

• Remove Vector from example

  tchajed

  committed
  351c39b

Commits on Nov 28, 2023

• Update CI workflow

  tchajed

  committed
  d7784e7

• Fix one warning

  tchajed

  committed
  47459bd

Commits on Aug 8, 2023

• Fix broken comment

  tchajed

  committed
  bec3ff6

• Merge PR #22

  tchajed

  committed
  ca5d026

• Update src/Views.v

  

  DasNaCl

  and

  tchajed

  authored
  e48495b

• Add more doc to Views.v

  DasNaCl

  committed
  4a216fc

Pagination

PreviousNext