Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 21, 2019

• Makefile bugfix

  lukaszcz

  committed
  b19357a

  Copy full SHA for b19357a

• install-tactics

  lukaszcz

  committed
  038b1c7

  Copy full SHA for 038b1c7

• remove a hard test

  lukaszcz

  committed
  e50351b

  Copy full SHA for e50351b

Commits on May 20, 2019

• more tests

  lukaszcz

  committed
  25ee382

  Copy full SHA for 25ee382

• SProp fix

  lukaszcz

  committed
  e57d503

  Copy full SHA for e57d503

Commits on Apr 11, 2019

• Merge pull request lukaszcz#24 from maximedenes/pretyping-rm-global

  Show description for 9fc71c2
  lukaszcz

  authored
  9fc71c2

  Copy full SHA for 9fc71c2

Commits on Apr 9, 2019

• Adapt to Coq's PR #9909

  maximedenes

  committed
  b492c48

  Copy full SHA for b492c48

Commits on Mar 27, 2019

• Merge pull request lukaszcz#23 from vbgl/fix-c++-compiler

  Show description for 7d97b70
  lukaszcz

  authored
  7d97b70

  Copy full SHA for 7d97b70

• Merge pull request lukaszcz#22 from vbgl/install-bindir

  Show description for 581e58d
  lukaszcz

  authored
  581e58d

  Copy full SHA for 581e58d

Commits on Mar 22, 2019

• [Makefile] Use cc as C compiler

  vbgl

  committed
  ef91ee1

  Copy full SHA for ef91ee1

• [Makefile] Use c++ as C++ compiler

  vbgl

  committed
  5a5a619

  Copy full SHA for 5a5a619

• [Makefile] Install binaries into a configurable directory

  Show description for b971e28
  vbgl

  committed
  b971e28

  Copy full SHA for b971e28

Commits on Mar 21, 2019

• Merge pull request lukaszcz#20 from palmskog/master-opam

  Show description for 85327f5
  lukaszcz

  authored
  85327f5

  Copy full SHA for 85327f5

• check opam file in Travis

  palmskog

  committed
  3203f67

  Copy full SHA for 3203f67

• port opam file to OPAM2

  palmskog

  committed
  7bd31e9

  Copy full SHA for 7bd31e9

Commits on Mar 18, 2019

• Merge pull request lukaszcz#12 from SkySkimmer/sprop

  Show description for 69eef8e
  lukaszcz

  authored
  69eef8e

  Copy full SHA for 69eef8e

Commits on Mar 15, 2019

• Adapt to coq/coq#8817 (SProp)

  SkySkimmer

  committed
  5971511

  Copy full SHA for 5971511

Commits on Feb 27, 2019

• warnings fixed

  lukaszcz

  committed
  3a28e57

  Copy full SHA for 3a28e57

Commits on Feb 22, 2019

• Merge pull request lukaszcz#19 from ejgallego/proof+no_global_partial

  Show description for d17d400
  lukaszcz

  authored
  d17d400

  Copy full SHA for d17d400

Commits on Feb 21, 2019

• [coq] Adapt to coq/coq#9129 "removal of imperative proof state"

  ejgallego

  committed
  f283a6b

  Copy full SHA for f283a6b

Commits on Feb 4, 2019

• Merge pull request lukaszcz#15 from palmskog/opam-fix

  Show description for 77a87ff
  lukaszcz

  authored
  77a87ff

  Copy full SHA for 77a87ff

• fix OPAM file for master branch

  palmskog

  committed
  c9636dd

  Copy full SHA for c9636dd

Commits on Jan 7, 2019

• Update README.md

  lukaszcz

  authored
  c9a4132

  Copy full SHA for c9a4132

Commits on Nov 20, 2018

• README.md update

  lukaszcz

  committed
  836de42

  Copy full SHA for 836de42

• README.md update

  lukaszcz

  committed
  4c3b916

  Copy full SHA for 4c3b916

• README.md update

  lukaszcz

  committed
  d01243e

  Copy full SHA for d01243e

• Merge pull request lukaszcz#11 from ejgallego/ltac+use_atts_in_ast

  Show description for ae7ff26
  lukaszcz

  authored
  ae7ff26

  Copy full SHA for ae7ff26

Commits on Nov 19, 2018

• [coq] Overlay to adapt to coq/coq#8902

  Show description for eef1f2f
  ejgallego

  committed
  eef1f2f

  Copy full SHA for eef1f2f

Commits on Nov 14, 2018

• Merge pull request lukaszcz#10 from ejgallego/port_to_mlg

  Show description for 45303b2
  lukaszcz

  authored
  45303b2

  Copy full SHA for 45303b2

Commits on Nov 13, 2018

• [coqpp] Port plugin to mlg.

  Show description for 3cdd9b5
  ejgallego

  committed
  3cdd9b5

  Copy full SHA for 3cdd9b5

Commits on Nov 12, 2018

• Merge pull request lukaszcz#8 from ejgallego/travis

  Show description for a9dac30
  lukaszcz

  authored
  a9dac30

  Copy full SHA for a9dac30

• [ci] Add travis file.

  Show description for c145b74
  ejgallego

  committed
  c145b74

  Copy full SHA for c145b74

• README.md

  lukaszcz

  committed
  bb43310

  Copy full SHA for bb43310

• merge master

  lukaszcz

  committed
  ed64094

  Copy full SHA for ed64094

• fix make clean

  lukaszcz

  committed
  67509a6

  Copy full SHA for 67509a6

Pagination

Previous

Next