)]}'
{
  "commit": "b18681d7f0f663381ecb7c2838a2223b3b9ae3ef",
  "tree": "803ed02ffc0c95388d2b520125020456a292b878",
  "parents": [
    "a332a31419abc0224d351d5b16d1e9df746eccd5"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Dec 06 15:17:37 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Dec 06 17:24:23 2021 +0100"
  },
  "message": "refactor: avoid early dependencies of Lean.Elab on Lean.Parser\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "08d1d8273c0e5aa383c450e7a026e5008c1430fa",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Arg.lean",
      "new_id": "6ffaf72a581884e8311cf1f895a982932b7fe76a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Arg.lean"
    },
    {
      "type": "modify",
      "old_id": "23535e117ac99c825f31dae21b949a86aa20ef16",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Attributes.lean",
      "new_id": "7026fe568c2414ee9c48781841811d091946dc9c",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Attributes.lean"
    },
    {
      "type": "modify",
      "old_id": "49b1c420e75069daa0c260f23527812cd8ebbe8f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinTerm.lean",
      "new_id": "4c5a6340c521243d862797b02924cba66810a3fb",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinTerm.lean"
    },
    {
      "type": "modify",
      "old_id": "0aac7f80f5e13731118d5e4250fa931872740b9a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/DeclModifiers.lean",
      "new_id": "ffa57ed72e1b0b841d47a16cc4a3df41abfe0cb7",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/DeclModifiers.lean"
    },
    {
      "type": "modify",
      "old_id": "8d11137fd89fcfd31b9885e829c060020fb0811d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/DeclarationRange.lean",
      "new_id": "fa3fc24b9d242c4479cdbbbecdccc3cf53ebd8af",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/DeclarationRange.lean"
    },
    {
      "type": "modify",
      "old_id": "b473180cfc254b4f67002a49d2277762a125a7e3",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Open.lean",
      "new_id": "cf182a79ca7074577b1407f5d1de20936f61dc8c",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Open.lean"
    },
    {
      "type": "modify",
      "old_id": "e91dfead6da775f8c52ffba216ecbfcc83af9af0",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PatternVar.lean",
      "new_id": "15003c67fd0311b86f7d7e40aa71cfa0f3de08b6",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PatternVar.lean"
    },
    {
      "type": "modify",
      "old_id": "be8c5c0cdf137dd2ede1e1e2ffcfbbfcdda7ab77",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean",
      "new_id": "350586daa5fb21141143dd6c09af2d5e4b830b5f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean"
    },
    {
      "type": "modify",
      "old_id": "42677158a3c9b77f47599efaa21665a86fa2b0d1",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "edb2164302219b7d4b4d4c2e33bd73285851f497",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "cc28a5b85b8178a29a0675eaa6336f52d8c09570",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Util.lean",
      "new_id": "f2c2dc4344e1c596dc3e63154131799bfbadb694",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Util.lean"
    }
  ]
}