Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Oct 18, 2021

• Replace externals with a more robust implementation

  matijapretnar

  committed
  3288298View commit details

  Copy full SHA for 3288298

  View code at this pointBrowse repository at this point

Commits on Dec 18, 2020

• Update jQuery terminal

  Show description for e999b94
  matijapretnar

  committed
  e999b94View commit details

  Copy full SHA for e999b94

  View code at this pointBrowse repository at this point

Commits on Nov 23, 2020

• Simplify loading of standard library

  matijapretnar

  committed
  d9e22b8View commit details

  Copy full SHA for d9e22b8

  View code at this pointBrowse repository at this point

Commits on Oct 22, 2020

• Switch to dune

  matijapretnar

  committed
  d017740View commit details

  Copy full SHA for d017740

  View code at this pointBrowse repository at this point

Commits on Apr 19, 2019

• Rebuild jseff.js

  zigaLuksic

  committed
  6cb0bbfView commit details

  Copy full SHA for 6cb0bbf

  View code at this pointBrowse repository at this point

Commits on Apr 17, 2019

• Update jseff

  matijapretnar

  committed
  eab7ea6View commit details

  Copy full SHA for eab7ea6

  View code at this pointBrowse repository at this point

Commits on Mar 20, 2019

• Update jseff

  Show description for 0c91ac6
  matijapretnar

  committed
  0c91ac6View commit details

  Copy full SHA for 0c91ac6

  View code at this pointBrowse repository at this point

Commits on Mar 13, 2019

• Copy pervasives to docs/try and add tests for some new stuff

  zigaLuksic

  committed
  081b21bView commit details

  Copy full SHA for 081b21b

  View code at this pointBrowse repository at this point

Commits on Jul 30, 2018

• Remove redundant and confusing definition

  Show description for 4c6bc57
  matijapretnar

  committed
  4c6bc57View commit details

  Copy full SHA for 4c6bc57

  View code at this pointBrowse repository at this point

Commits on May 29, 2018

• Temporarily disable formatting

  Show description for ffe25a5
  matijapretnar

  committed
  ffe25a5View commit details

  Copy full SHA for ffe25a5

  View code at this pointBrowse repository at this point

Commits on May 15, 2018

• Fix online example for threads.

  zigaLuksic

  committed
  48aa3ceView commit details

  Copy full SHA for 48aa3ce

  View code at this pointBrowse repository at this point

Commits on Apr 27, 2018

• Point towards installation instructions

  matijapretnar

  committed
  4bf5175View commit details

  Copy full SHA for 4bf5175

  View code at this pointBrowse repository at this point

Commits on Apr 25, 2018

• Fix cylclic typo

  Show description for c08422b
  matijapretnar

  committed
  c08422bView commit details

  Copy full SHA for c08422b

  View code at this pointBrowse repository at this point

Commits on Apr 24, 2018

• Rename Random_float operation in jseff

  matijapretnar

  committed
  506c681View commit details

  Copy full SHA for 506c681

  View code at this pointBrowse repository at this point

• Merge branch 'master' of github.com:matijapretnar/eff

  Show description for 19a3da0
  matijapretnar

  committed
  19a3da0View commit details

  Copy full SHA for 19a3da0

  View code at this pointBrowse repository at this point

• Minor improvments

  matijapretnar

  committed
  20a41dcView commit details

  Copy full SHA for 20a41dc

  View code at this pointBrowse repository at this point

Commits on Apr 10, 2018

• Comment out pervasives state handler as it mostly just takes up a common effect name.

  zigaLuksic

  committed
  6169abdView commit details

  Copy full SHA for 6169abd

  View code at this pointBrowse repository at this point

Commits on Apr 9, 2018

• Output errors in JSeff

  matijapretnar

  committed
  21ce06aView commit details

  Copy full SHA for 21ce06a

  View code at this pointBrowse repository at this point

Commits on Apr 5, 2018

• CodeMirror editing mode for Eff.

  andrejbauer

  committed
  4dba7ebView commit details

  Copy full SHA for 4dba7eb

  View code at this pointBrowse repository at this point

• Update CodeMirror to 5.36.0.

  andrejbauer

  committed
  ac19224View commit details

  Copy full SHA for ac19224

  View code at this pointBrowse repository at this point

• Merge branch 'master' of https://github.com/matijapretnar/eff

  andrejbauer

  committed
  e518d36View commit details

  Copy full SHA for e518d36

  View code at this pointBrowse repository at this point

• Resizable editor in the online version.

  Show description for 9fccb23
  andrejbauer

  committed
  9fccb23View commit details

  Copy full SHA for 9fccb23

  View code at this pointBrowse repository at this point

• Merge pull request #39 from andrejbauer/master

  Show description for e22311b
  matijapretnar

  authored
  e22311bView commit details

  Copy full SHA for e22311b

  View code at this pointBrowse repository at this point

• Tame the production use warning

  matijapretnar

  committed
  2585ac4View commit details

  Copy full SHA for 2585ac4

  View code at this pointBrowse repository at this point

• Tell advanced users that they can skip the syntax tutorial.

  andrejbauer

  committed
  85fac46View commit details

  Copy full SHA for 85fac46

  View code at this pointBrowse repository at this point

Commits on Mar 30, 2018

• Output Print messages to Config.output_formatter

  matijapretnar

  committed
  c62d2f1View commit details

  Copy full SHA for c62d2f1

  View code at this pointBrowse repository at this point

• Remove val keyword from handler clauses

  matijapretnar

  committed
  7a2ad23View commit details

  Copy full SHA for 7a2ad23

  View code at this pointBrowse repository at this point

• Merge remote-tracking branch 'zigaLuksic/multicore_ocaml_syntax' into eff-5

  Show description for 268cf0f
  matijapretnar

  committed
  268cf0fView commit details

  Copy full SHA for 268cf0f

  View code at this pointBrowse repository at this point

• Discuss history

  Show description for 120f8c5
  matijapretnar

  committed
  120f8c5View commit details

  Copy full SHA for 120f8c5

  View code at this pointBrowse repository at this point

• Break up online examples

  matijapretnar

  committed
  2cccedeView commit details

  Copy full SHA for 2cccede

  View code at this pointBrowse repository at this point

• Fix link

  matijapretnar

  committed
  3303ea4View commit details

  Copy full SHA for 3303ea4

  View code at this pointBrowse repository at this point

Commits on Mar 29, 2018

• Update online examples to new syntax.

  zigaLuksic

  committed
  d3865e2View commit details

  Copy full SHA for d3865e2

  View code at this pointBrowse repository at this point

• Update URLs

  

  matijapretnar

  authored and

  zigaLuksic

  committed
  fd2cb01View commit details

  Copy full SHA for fd2cb01

  View code at this pointBrowse repository at this point

• Script for the new page

  

  matijapretnar

  authored and

  zigaLuksic

  committed
  bb32a0aView commit details

  Copy full SHA for bb32a0a

  View code at this pointBrowse repository at this point

• New web page

  

  matijapretnar

  authored and

  zigaLuksic

  committed
  2026f55View commit details

  Copy full SHA for 2026f55

  View code at this pointBrowse repository at this point