Commits

Breadcrumbs

History for

ondev

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 5, 2022

• add _opam/ to .gitignore (#678)

  Show description for 1c2daf2
  

  dedbox

  and

  Eric Griffis

  authored
  1c2daf2

  Copy full SHA for 1c2daf2

Commits on Oct 27, 2021

• began dev merge

  disconcision

  committed
  31751f1

  Copy full SHA for 31751f1

Commits on Mar 9, 2020

• ignore

  PPER

  committed
  dc55e74

  Copy full SHA for dc55e74

Commits on Jan 7, 2020

• [git] Add "Local History" folder (.history) to .gitignore

  

  Michael D. Adams

  committed
  2667038

  Copy full SHA for 2667038

Commits on Nov 19, 2019

• [git] Add `.vscode` directory to `.gitignore`

  

  Michael D. Adams

  committed
  8ff8868

  Copy full SHA for 8ff8868

Commits on Sep 15, 2019

• [cleanup] Added IntelliJ files to `.gitignore`

  

  Michael D. Adams

  committed
  2f20319

  Copy full SHA for 2f20319

Commits on Mar 18, 2019

• Update gitignore

  dm0n3y

  committed
  443a274

  Copy full SHA for 443a274

Commits on Mar 4, 2019

• Update .gitignore

  nmsmith

  committed
  144e854

  Copy full SHA for 144e854

Commits on Feb 26, 2019

• Minor things (#57)

  Show description for 2de5c79
  

  nmsmith

  authored and

  cyrus-

  committed
  2de5c79

  Copy full SHA for 2de5c79

Commits on Oct 19, 2018

• fixed gitignore and .merlin

  cyrus-

  committed
  d387a64

  Copy full SHA for d387a64

• s/make/dune/g

  nickcollins

  committed
  86cc47d

  Copy full SHA for 86cc47d

Commits on Jul 26, 2018

• conversion from Reason 2 to Reason 3

  cyrus-

  committed
  38839f3

  Copy full SHA for 38839f3

Commits on Feb 24, 2018

• better colors for cursor inspector

  cyrus-

  committed
  83f652f

  Copy full SHA for 83f652f

• cursor inspector panel!

  cyrus-

  committed
  7e6ca06

  Copy full SHA for 7e6ca06

Commits on Sep 19, 2017

• reorganized and switched to using a makefile rather than build.sh

  cyrus-

  committed
  56a7f2a

  Copy full SHA for 56a7f2a

Commits on Sep 14, 2017

• added coq aux file to gitignore

  cyrus-

  committed
  eff4b8c

  Copy full SHA for eff4b8c

Commits on Sep 8, 2017

• Coq core finished. Integrated it back (#21)

  Show description for 1147f25
  

  bkase

  authored and

  cyrus-

  committed
  1147f25

  Copy full SHA for 1147f25

Commits on Jun 24, 2017

• Port to ReasonML (#18)

  

  bkase

  authored and

  cyrus-

  committed
  fc92f87

  Copy full SHA for fc92f87

Commits on May 15, 2017

• Coq extraction script + simple ocaml translation

  bkase

  committed
  2136676

  Copy full SHA for 2136676

Commits on Apr 12, 2017

• removed accidentally committed swp files and added that to gitignore

  cyrus-

  committed
  3e16ecc

  Copy full SHA for 3e16ecc

Commits on Jan 27, 2017

• Initial commit

  cyrus-

  committed
  1320939

  Copy full SHA for 1320939

Loading