)]}'
{
  "commit": "03d5884784a4ece12d427b953e0b278f9768f41d",
  "tree": "bdded8f99955bd0a619244d1e71253c42a8b8ed9",
  "parents": [
    "600b7ceb2883d5272de0e9483211f701faa550e9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Nov 14 17:32:55 2018 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Nov 14 17:32:55 2018 +0100"
  },
  "message": "feat(library/init/lean/elaborator): initial version of translating syntax trees to preterms\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1efdc4fa50af06a9535837b499f52c4cb9125b52",
      "old_mode": 33188,
      "old_path": "library/init/lean/elaborator.lean",
      "new_id": "44d304002ebe197130f66df50197d4826f7f4262",
      "new_mode": 33188,
      "new_path": "library/init/lean/elaborator.lean"
    },
    {
      "type": "modify",
      "old_id": "486b7b970566801162920cb0de5db13e089498cb",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/syntax.lean",
      "new_id": "f5ead485f52dbd9fbbae090565a86dd2801b3fca",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "30789d67a289502ef92a4156e9354359f5af2a60",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/term.lean",
      "new_id": "dde944ab806e5e6cf8827534e16465ee070dee6e",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/term.lean"
    },
    {
      "type": "modify",
      "old_id": "268c6e7ea03c83039c548026bda373078f06917a",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/token.lean",
      "new_id": "6111e166f3f88e9fdbe4873784f6587eeed1d265",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/token.lean"
    }
  ]
}