Code

WIP: cwd in environment objects#43

Code

Open

cipher1024 wants to merge 4 commits intomasterleanprover-community/lean:masterfrom set_cwdleanprover-community/lean:set_cwdCopy head branch name to clipboard

+210-38

Commits

Commits on May 17, 2019

• WIP: cwd in environment objects

  cipher1024

  committed
  2a12055

  Copy full SHA for 2a12055

Commits on May 18, 2019

• fix absolute paths to non-existant files

  cipher1024

  committed
  d58b050

  Copy full SHA for d58b050

Commits on May 19, 2019

• fix OS-dependent path separators

  cipher1024

  committed
  ae55905

  Copy full SHA for ae55905

• use unix path format in io primitives

  cipher1024

  committed
  9dafd21

  Copy full SHA for 9dafd21