Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 1, 2016

• naming type of the standard library

  gmalecha

  committed
  e76c244

  Copy full SHA for e76c244

• adding matching on Sort

  gmalecha

  committed
  c61e4a5

  Copy full SHA for c61e4a5

Commits on May 31, 2016

• a bit of cleanup.

  gmalecha

  committed
  ee8592b

  Copy full SHA for ee8592b

Commits on Jan 31, 2016

• a few small additions and fixes to CoqStd

  gmalecha

  committed
  4443e99

  Copy full SHA for 4443e99

Commits on Oct 14, 2015

• 8.5 stm compatibility.

  Show description for cf2867c
  

  Gregory Malecha

  committed
  cf2867c

  Copy full SHA for cf2867c

Commits on Jul 26, 2015

• modernizing the build infrastructure.

  

  Gregory Malecha

  committed
  9d1ba75

  Copy full SHA for 9d1ba75

Commits on Jun 26, 2015

• need a DECLARE MODULE for 8.5

  

  Gregory Malecha

  committed
  cd2a7b8

  Copy full SHA for cd2a7b8

• need a DECLARE MODULE for 8.5

  

  Gregory Malecha

  committed
  88949c0

  Copy full SHA for 88949c0

Commits on Jun 5, 2015

• versions of glob that ignore universes.

  

  Gregory Malecha

  committed
  1ecde10

  Copy full SHA for 1ecde10

Commits on May 22, 2015

• porting to 8.5

  Show description for 577afe6
  

  Gregory Malecha

  committed
  577afe6

  Copy full SHA for 577afe6

Commits on Nov 5, 2014

• fixing a few bugs in the coqstd.

  

  Gregory Malecha

  committed
  670430c

  Copy full SHA for 670430c

Commits on Aug 29, 2014

• don't statically link the plugin.

  

  Gregory Malecha

  committed
  686b51d

  Copy full SHA for 686b51d

Commits on Aug 28, 2014

• updates to term_match and the standard library

  

  Gregory Malecha

  committed
  9ca909b

  Copy full SHA for 9ca909b

• changing the layout of coqstd

  Show description for 9ea4388
  

  Gregory Malecha

  committed
  9ea4388

  Copy full SHA for 9ea4388

Commits on Aug 24, 2014

• yet another type parameter.

  

  Gregory Malecha

  committed
  795bde5

  Copy full SHA for 795bde5

Commits on Aug 22, 2014

• support of Pi, but the semantics are not quite clear.

  

  Gregory Malecha

  committed
  f03ed3c

  Copy full SHA for f03ed3c

• modifying the interface here to avoid strings

  

  Gregory Malecha

  committed
  064b2e1

  Copy full SHA for 064b2e1

• adding Filter and pp_constr

  

  Gregory Malecha

  committed
  bb2d547

  Copy full SHA for bb2d547

• adding support for Filter.

  

  Gregory Malecha

  committed
  27cb867

  Copy full SHA for 27cb867

• export the exception type.

  

  Gregory Malecha

  committed
  f528d22

  Copy full SHA for f528d22

• extensions to the standard library and polymorphic patterns.

  

  Gregory Malecha

  committed
  00b7742

  Copy full SHA for 00b7742

Commits on Jun 28, 2014

• compile the coq configuration into myocamlbuild.

  Show description for 1db130f
  

  Gregory Malecha

  committed
  1db130f

  Copy full SHA for 1db130f

Commits on Mar 27, 2014

• to get linking working correctly.

  

  Gregory Malecha

  committed
  65441b8

  Copy full SHA for 65441b8

• don't use ocamlbuild, fix the makefile, install to coq path.

  

  Gregory Malecha

  committed
  8315e4c

  Copy full SHA for 8315e4c

• fixing an over-general flag.

  

  Gregory Malecha

  committed
  f27f3d2

  Copy full SHA for f27f3d2

Commits on Feb 18, 2014

• exposing the terms for None, Some, cons, and nil.

  

  Gregory Malecha

  committed
  32d9add

  Copy full SHA for 32d9add

• adding Impl constructor.

  

  Gregory Malecha

  committed
  1c00efa

  Copy full SHA for 1c00efa

Commits on Dec 12, 2013

• adding coqstd.

  

  Gregory Malecha

  committed
  41238d6

  Copy full SHA for 41238d6

Commits on Dec 11, 2013

• use ocamlfind to handle packaging.

  

  Gregory Malecha

  committed
  f01afd8

  Copy full SHA for f01afd8

Commits on Dec 10, 2013

• single, slightly more general plugin to avoid ugly stuff.

  

  Gregory Malecha

  committed
  32eb1c9

  Copy full SHA for 32eb1c9

• terrible hack to factor out the plugin

  Show description for 0471de5
  

  Gregory Malecha

  committed
  0471de5

  Copy full SHA for 0471de5

Commits on Dec 5, 2013

• Adding Thomas's code for calling Ltac functions.

  

  Gregory Malecha

  committed
  9b5d38a

  Copy full SHA for 9b5d38a

Loading