Commits

Breadcrumbs

History for

on7743971

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 25, 2022

• Remove uses of ;; from the codebase

  shindere

  committed
  3c5ecdc

  Copy full SHA for 3c5ecdc

Commits on Oct 31, 2019

• split patterns into "value patterns" and "computation patterns"

  Show description for 312253c
  gasche

  committed
  312253c

  Copy full SHA for 312253c

Commits on Feb 18, 2016

• Update headers for the new license.

  Show description for 5401ce8
  damiendoligez

  committed
  5401ce8

  Copy full SHA for 5401ce8

Commits on Oct 15, 2012

• remove all $Id keywords

  Show description for def3174
  

  Damien Doligez

  committed
  def3174

  Copy full SHA for def3174

Commits on May 30, 2012

• merge with branch bin-annot

  Show description for d39d43e
  lefessan

  committed
  d39d43e

  Copy full SHA for d39d43e

Commits on Jul 27, 2011

• renaming of Objective Caml to OCaml and cleanup of copyright headers

  Show description for 3b507dd
  

  Damien Doligez

  committed
  3b507dd

  Copy full SHA for 3b507dd

Commits on Jul 29, 2008

• amelioration des annotations

  Show description for 7ca1d89
  

  Damien Doligez

  committed
  7ca1d89

  Copy full SHA for 7ca1d89

Commits on May 16, 2007

• ajout des annotations pour variables et appels terminaux

  Show description for 1dd68cc
  

  Damien Doligez

  committed
  1dd68cc

  Copy full SHA for 1dd68cc

Commits on Jul 23, 2003

• RAZ des variables de types pour .annot

  Show description for 029b863
  

  Damien Doligez

  committed
  029b863

  Copy full SHA for 029b863

Commits on Apr 2, 2003

• utilise Stypes dans ocamlbrowser

  Show description for 3634856
  

  Jacques Garrigue

  committed
  3634856

  Copy full SHA for 3634856

• ajout option -stypes; depend

  Show description for 43b0218
  

  Damien Doligez

  committed
  43b0218

  Copy full SHA for 43b0218

Loading