Commit History

Author SHA1 Message Date
  Anil Madhavapeddy c86a4bcb6e Merge pull request #3648 from realworldocaml/dev-container 2 weeks ago
  Anil Madhavapeddy 56130af307 optimise 2 weeks ago
  Anil Madhavapeddy 7162a9828d update 2 weeks ago
  Anil Madhavapeddy 97970b6afb fix publication date to Q4 2022 3 weeks ago
  Anil Madhavapeddy 90c38fb527 add texlive-full to get xelatex to depexts 3 weeks ago
  Anil Madhavapeddy 3fc8a55438 add devcontainer for rwo 3 weeks ago
  Anil Madhavapeddy d822fd065f Merge pull request #3626 from realworldocaml/update-to-v15 1 month ago
  Anil Madhavapeddy 4ba4ec0eea revert tabs to spaces 1 month ago
  Yaron M. Minsky 1d922d9258 more TODOs 1 month ago
  Yaron M. Minsky caf62f6676 _ 1 month ago
  Anil Madhavapeddy 57260d060b fix elaborated cli output 1 month ago
  Anil Madhavapeddy 28d63d06ac Merge branch 'master' into update-to-v15 1 month ago
  Anil Madhavapeddy 32e3f48c47 fix pin url 1 month ago
  Anil Madhavapeddy 59ae75552d add template 1 month ago
  Anil Madhavapeddy bc4a3f8263 pin-depends for async_graphics 1 month ago
  Anil Madhavapeddy 07608b5b9a fix async_graphics 1 month ago
  Anil Madhavapeddy dbbd9f5a8e sync CI and opam files 1 month ago
  Anil Madhavapeddy 3cd8a173b0 update vendored libaries 1 month ago
  Anil Madhavapeddy e7907e3ff5 prologue: tweak text 2 months ago
  Anil Madhavapeddy a104682f05 acknowledge cup/art 2 months ago
  Anil Madhavapeddy 1abed4057c swap running heads and fix toc 2 months ago
  Anil Madhavapeddy 44d94a78c6 start page numbering from 1 for Prologue 2 months ago
  Anil Madhavapeddy 0283b6318a Merge branch 'v2' 2 months ago
  Anil Madhavapeddy 2a845f1a8a pdf: fix index running header 2 months ago
  Anil Madhavapeddy d60321a344 Merge branch 'v2' 3 months ago
  Anil Madhavapeddy 02ecdbb7bc fix page numbering 3 months ago
  Anil Madhavapeddy e3ad331e53 pdf: add running heads to the latex 3 months ago
  Yaron Minsky 068ae995d9 Merge pull request #3640 from bbatsov/patch-1 3 months ago
  Anil Madhavapeddy aa7ad63927 Merge branch 'master' into v2 3 months ago
  Anil Madhavapeddy 03a4388817 Merge pull request #3642 from realworldocaml/fix-footnote 3 months ago