)]}'
{
  "commit": "0cf7d55c4367781f2305cb7a73fdb0a906c23abe",
  "tree": "ab5d138379f6bc89a06a2dbc3cd021b97b1292d6",
  "parents": [
    "a847571124fb54d932050dd656a7adb05c326ae6"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Aug 23 13:13:24 2018 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Aug 23 13:13:24 2018 -0700"
  },
  "message": "chore(library/eval_helper): put back `eval_helper` support for executing tactics\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "de4343d2ad5d57e958893d5226709b9041e75dbd",
      "old_mode": 33188,
      "old_path": "src/frontends/lean/builtin_cmds.cpp",
      "new_id": "cb15b2ed7dade93f26dd5ecc0209f4e215ddddef",
      "new_mode": 33188,
      "new_path": "src/frontends/lean/builtin_cmds.cpp"
    },
    {
      "type": "modify",
      "old_id": "d24cc530b336d7210584bb97d9572470893dfb7b",
      "old_mode": 33188,
      "old_path": "src/library/eval_helper.cpp",
      "new_id": "76a60e5da6950eaf62811d72b22b6a4783a199e1",
      "new_mode": 33188,
      "new_path": "src/library/eval_helper.cpp"
    }
  ]
}