Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 13, 2018

• Adapt to coq/coq#7136 (econstr in Evd)

  SkySkimmer

  committed
  ec96d9d

  Copy full SHA for ec96d9d

Commits on Mar 31, 2018

• [coq] Adapt to coq/coq#6454 "forbid calling to_constr on open terms"

  Show description for 75fbad3
  ejgallego

  committed
  75fbad3

  Copy full SHA for 75fbad3

Commits on Mar 10, 2018

• Merge pull request mattam82#60 from ejgallego/located+libnames

  Show description for c0c7e99
  cmangin

  authored
  c0c7e99

  Copy full SHA for c0c7e99

• Merge pull request mattam82#59 from ejgallego/located+vernac_2

  Show description for 59728f0
  cmangin

  authored
  59728f0

  Copy full SHA for 59728f0

• Merge pull request mattam82#58 from ejgallego/ssr+correct_packing

  Show description for 45b0aa3
  mattam82

  authored
  45b0aa3

  Copy full SHA for 45b0aa3

Commits on Mar 9, 2018

• [coq] Adapt to coq/coq#6837.

  Show description for ec756b2
  ejgallego

  committed
  ec756b2

  Copy full SHA for ec756b2

• [coq] Adapt to coq/coq#6831

  ejgallego

  committed
  26eb75d

  Copy full SHA for 26eb75d

• Fix compilation after the change of API in options.

  ppedrot

  committed
  b9415f6

  Copy full SHA for b9415f6

Commits on Mar 5, 2018

• [build] Use Tacexpr module from packed Ltac_plugin [Coq's coq/coq/#6869]

  Show description for 5b0d4dd
  ejgallego

  committed
  5b0d4dd

  Copy full SHA for 5b0d4dd

Commits on Mar 4, 2018

• Merge pull request mattam82#54 from ejgallego/econstr+more_fix

  Show description for 5f358fb
  mattam82

  authored
  5f358fb

  Copy full SHA for 5f358fb

• Merge pull request mattam82#47 from gares/fix-for/6676

  Show description for e91dcf8
  mattam82

  authored
  e91dcf8

  Copy full SHA for e91dcf8

Commits on Mar 1, 2018

• [coq] Adapt to coq/coq#6511

  Show description for b0ecb6b
  ejgallego

  committed
  b0ecb6b

  Copy full SHA for b0ecb6b

Commits on Feb 23, 2018

• adapt to Coq#6676

  

  Enrico Tassi

  committed
  1bd1def

  Copy full SHA for 1bd1def

Commits on Feb 14, 2018

• [coq] Adapt to coq/coq#6745

  Show description for 20829f3
  ejgallego

  committed
  20829f3

  Copy full SHA for 20829f3

Commits on Feb 5, 2018

• Fixes for coq/coq#6686 (nf_beta takes an env).

  SkySkimmer

  committed
  a713e13

  Copy full SHA for a713e13

Commits on Jan 30, 2018

• Fix ML compilation w.r.t. Coq PR #6536.

  ppedrot

  committed
  bf1eb50

  Copy full SHA for bf1eb50

Commits on Jan 26, 2018

• Remove some compilation warnings.

  cmangin

  committed
  a5a4e81

  Copy full SHA for a5a4e81

• Better default patterns for depelim.

  Show description for 7f0df04
  cmangin

  committed
  7f0df04

  Copy full SHA for 7f0df04

Commits on Jan 15, 2018

• Fix bug in strengthening.

  Show description for 55f1270
  cmangin

  committed
  55f1270

  Copy full SHA for 55f1270

Commits on Jan 11, 2018

• Delete Obj.magic.

  cmangin

  committed
  0c2313d

  Copy full SHA for 0c2313d

Commits on Jan 10, 2018

• Better support of local definitions in term generation.

  cmangin

  committed
  1aa5897

  Copy full SHA for 1aa5897

Commits on Dec 29, 2017

• Merge pull request mattam82#41 from maximedenes/rm-local-polymorphic-flag

  Show description for a9c290d
  mattam82

  authored
  a9c290d

  Copy full SHA for a9c290d

Commits on Dec 27, 2017

• Remove uses of local polymorphic flag.

  Show description for f040cf5
  maximedenes

  committed
  f040cf5

  Copy full SHA for f040cf5

Commits on Dec 25, 2017

• adapt to API.mli removal

  

  Enrico Tassi

  committed
  86b0d73

  Copy full SHA for 86b0d73

Commits on Dec 21, 2017

• Fix deprecation warnings

  mattam82

  committed
  fe28654

  Copy full SHA for fe28654

• Fixes for Coq PR #6419

  mattam82

  committed
  96d2c97

  Copy full SHA for 96d2c97

• Replace an Obj.magic with an Unsafe.tclEVARS

  mattam82

  committed
  1f74f84

  Copy full SHA for 1f74f84

Commits on Dec 20, 2017

• Revert "Revert "[coq] Adapt to coq/coq#6413.""

  mattam82

  authored
  8203d13

  Copy full SHA for 8203d13

Commits on Dec 15, 2017

• Revert "[coq] Adapt to coq/coq#6413."

  mattam82

  authored
  a5e349f

  Copy full SHA for a5e349f

• [coq] Adapt to coq/coq#6413.

  Show description for c30e105
  ejgallego

  committed
  c30e105

  Copy full SHA for c30e105

Commits on Dec 12, 2017

• [coq] Adapt to coq/coq#6392

  Show description for 8e1bc5c
  ejgallego

  committed
  8e1bc5c

  Copy full SHA for 8e1bc5c

Commits on Dec 11, 2017

• Merge pull request mattam82#33 from SkySkimmer/fix-coq-6324

  Show description for 49be366
  cmangin

  authored
  49be366

  Copy full SHA for 49be366

• Remove deprecated code.

  cmangin

  committed
  27c1f62

  Copy full SHA for 27c1f62

Commits on Dec 6, 2017

• universes_of_constr needs an env (coq/coq#6324).

  SkySkimmer

  committed
  37d8dbd

  Copy full SHA for 37d8dbd

Commits on Dec 5, 2017

• Fixes for diagonal of a square matrix example

  mattam82

  committed
  7b8bb62

  Copy full SHA for 7b8bb62

Pagination

Previous

Next