Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 31, 2024

• Update INSTALL.md

  Show description for 2f82109
  

  Alizter

  and

  mikeshulman

  authored
  2f82109

  Copy full SHA for 2f82109

Commits on Aug 6, 2024

• doc: add coq-core-dev line to INSTALL.md

  Show description for 14deab6
  Alizter

  committed
  14deab6

  Copy full SHA for 14deab6

• doc: update INSTALL.md about opam and platform versions

  Show description for 135f34b
  Alizter

  committed
  135f34b

  Copy full SHA for 135f34b

Commits on Jun 13, 2024

• link to other user interfaces on Coq website

  Show description for 248526b
  Alizter

  committed
  248526b

  Copy full SHA for 248526b

Commits on Jun 12, 2024

• recommend coq-lsp over vscoq

  Show description for 2f03b17
  Alizter

  committed
  2f03b17

  Copy full SHA for 2f03b17

Commits on Sep 4, 2023

• add emacs TAGS support to dune

  Show description for e68c037
  Alizter

  committed
  e68c037

  Copy full SHA for e68c037

Commits on May 30, 2021

• add Dan's suggested change

  Alizter

  committed
  fd8d122

  Copy full SHA for fd8d122

Commits on May 25, 2021

• updated INSTALL.md instructions

  Alizter

  committed
  36984ac

  Copy full SHA for 36984ac

Commits on Apr 25, 2021

• Fix COQBIN in INSTALL.md

  jdchristensen

  committed
  ebe37a0

  Copy full SHA for ebe37a0

Commits on Apr 24, 2021

• Update install instructions

  JasonGross

  committed
  fa87de8

  Copy full SHA for fa87de8

Commits on Jan 17, 2021

• update INSTALL.md to 8.13

  Alizter

  committed
  e72a712

  Copy full SHA for e72a712

Commits on Jan 14, 2021

• separate out gtk dependencies in copy-paste lines in INSTALL

  mikeshulman

  committed
  be49eb2

  Copy full SHA for be49eb2

Commits on Jan 13, 2021

• mention in INSTALL that you need to install zarith from opam

  mikeshulman

  committed
  9abadca

  Copy full SHA for 9abadca

Commits on Jul 27, 2020

• update INSTALL.md for Coq 8.12

  Alizter

  committed
  bd94668

  Copy full SHA for bd94668

Commits on Mar 20, 2020

• Update INSTALL.md

  jcommelin

  authored
  6a60783

  Copy full SHA for 6a60783

• Update INSTALL.md

  jcommelin

  authored
  4654dbc

  Copy full SHA for 4654dbc

Commits on Mar 11, 2020

• update install

  Alizter

  committed
  ff23c49

  Copy full SHA for ff23c49

Commits on Jan 26, 2020

• updated windows install instructions

  Alizter

  committed
  fbd34d8

  Copy full SHA for fbd34d8

Commits on Dec 26, 2019

• lablgtksourceview3

  mikeshulman

  committed
  85ada0d

  Copy full SHA for 85ada0d

• Update INSTALL.md again, should close HoTT#1115 as well

  mikeshulman

  committed
  6556b55

  Copy full SHA for 6556b55

• update INSTALL.md, close HoTT#929 and HoTT#1021

  mikeshulman

  committed
  9c02dd9

  Copy full SHA for 9c02dd9

Commits on Oct 22, 2019

• Update submodule to Coq V8.10.0

  JasonGross

  committed
  363506d

  Copy full SHA for 363506d

Commits on Mar 31, 2019

• Update INSTALL.md

  Show description for e965427
  kim-em

  authored
  e965427

  Copy full SHA for e965427

• Update INSTALL.md

  Show description for be05c7e
  kim-em

  authored
  be05c7e

  Copy full SHA for be05c7e

Commits on Mar 28, 2019

• adding missing install step

  Show description for cad7a48
  kim-em

  authored
  cad7a48

  Copy full SHA for cad7a48

Commits on Jan 24, 2019

• Bump submodules to master and update INSTALL.md

  Show description for 42fa752
  JasonGross

  committed
  42fa752

  Copy full SHA for 42fa752

Commits on Jan 22, 2019

• Bump various versions to 8.9

  Show description for 139bf63
  JasonGross

  committed
  139bf63

  Copy full SHA for 139bf63

Commits on Aug 28, 2018

• Drop support for Coq 8.8 in preparation for 8.9

  Show description for 7011ad3
  JasonGross

  committed
  7011ad3

  Copy full SHA for 7011ad3

• Set Coq version to 8.8.1

  Show description for 457e8c5
  JasonGross

  committed
  457e8c5

  Copy full SHA for 457e8c5

Commits on Jul 24, 2018

• Merge pull request HoTT#930 from HoTT/spitters-patch-1

  Show description for 5d8fa6a
  mikeshulman

  authored
  5d8fa6a

  Copy full SHA for 5d8fa6a

Commits on Jul 17, 2018

• Drop support for Coq 8.7, have travis test 8.8

  Show description for bf18462
  JasonGross

  committed
  bf18462

  Copy full SHA for bf18462

Commits on Mar 29, 2018

• Update INSTALL.md

  Show description for 69f3a26
  spitters

  authored
  69f3a26

  Copy full SHA for 69f3a26

Commits on Oct 27, 2017

• Update INSTALL.md

  tymmym

  committed
  5b06bf1

  Copy full SHA for 5b06bf1

• Update INSTALL.md

  tymmym

  committed
  1547e5f

  Copy full SHA for 1547e5f

Commits on Oct 23, 2017

• Update INSTALL.md to mention 8.7

  JasonGross

  committed
  2280065

  Copy full SHA for 2280065

Pagination

Previous

Next