Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 24, 2017

• Updates for Coq version 8.6

  bmsherman

  committed
  0965024

Commits on Jun 21, 2016

• update the README

  bmsherman

  committed
  7f3d8de

Commits on Jun 20, 2016

• Associativity of products of discrete spaces

  bmsherman

  committed
  c844cf0

Commits on Dec 29, 2015

• Follow our lab's usual build processes

  bmsherman

  committed
  f4e7158

• Begin trying to reconcile locale-based development with naive development

  bmsherman

  committed
  469a37b

Commits on Dec 21, 2015

• More progress on describing distributions

  bmsherman

  committed
  6539e05

Commits on Dec 19, 2015

• Fix typos in readme

  bmsherman

  committed
  c6f9324

• MAJOR reorganization, refactor, commenting, cleanup, etc.

  bmsherman

  committed
  5a3c0b0

Commits on Dec 14, 2015

• Add readme

  bmsherman

  committed
  f1256c4

Loading