)]}'
{
  "commit": "1613a38f9e5b4e50e478bf9406649a5807252498",
  "tree": "fcbf20d807c7c22e1013e2ccae3d593395102ebc",
  "parents": [
    "e85fa666bd0be4b604ed0c38b9869e4328077c1a"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 19 16:24:47 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 19 16:53:49 2020 +0200"
  },
  "message": "fix: pretty printer with new syntax\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cfaff13774f35fd4d66425a41976d164debe895e",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser.lean",
      "new_id": "b5abfdd5cb094dfcd7a17e0b50c174e38d70cf26",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "db827c12327eb8c3b0988c761424339ec0c4ccb5",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Level.lean",
      "new_id": "ab6dd7643dce79f7449950bf633febf59578a17f",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Level.lean"
    },
    {
      "type": "modify",
      "old_id": "b8fd64960ee03285f552bbff3efb21ab3c3e170e",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Term.lean",
      "new_id": "5ca92dff685fc841f12cd9623d9f982221d96587",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "371fbff579157a55eb2f4ccd1822b9843343511f",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Formatter.lean",
      "new_id": "494e0a862e2fa542f682f248e304346f415470ed",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Formatter.lean"
    }
  ]
}