Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 16, 2021

• Remove the open recursion on the branch type in VCS API.

  ppedrot

  committed
  063af9a

  Copy full SHA for 063af9a

Commits on Mar 18, 2020

• Update headers in the whole code base.

  Show description for a99776e
  Zimmi48

  committed
  a99776e

  Copy full SHA for a99776e

Commits on Nov 21, 2019

• [coq] Untabify the whole ML codebase.

  Show description for d016f69
  ejgallego

  committed
  d016f69

  Copy full SHA for d016f69

Commits on Jun 17, 2019

• Update ml-style headers to new year.

  Zimmi48

  committed
  42e09b6

  Copy full SHA for 42e09b6

Commits on Feb 27, 2018

• Update headers following coq#6543.

  Zimmi48

  committed
  629fbc7

  Copy full SHA for 629fbc7

Commits on Jul 4, 2017

• Bump year in headers.

  ppedrot

  committed
  3e0334d

  Copy full SHA for 3e0334d

Commits on Jun 6, 2016

• STM: support for nested boxes of nodes to model error boundaries

  Show description for d75da80
  gares

  committed
  d75da80

  Copy full SHA for d75da80

Commits on Jan 20, 2016

• Update copyright headers.

  maximedenes

  committed
  86f5c0c

  Copy full SHA for 86f5c0c

Commits on Jan 12, 2015

• Update headers.

  maximedenes

  committed
  d90a5d4

  Copy full SHA for d90a5d4

Commits on Nov 28, 2014

• STM: if a-p-always-delegate fetch states from parked worker on edit-at

  Show description for 5d3f5c2
  gares

  committed
  5d3f5c2

  Copy full SHA for 5d3f5c2

Commits on Apr 25, 2014

• Adding a stm/ folder, as asked during last workgroup. It was essentially moving

  Show description for 8330f5c
  ppedrot

  committed
  8330f5c

  Copy full SHA for 8330f5c

Loading