)]}'
{
  "commit": "c00872ab44b03a92a4ce5307c0f01180483f0a6d",
  "tree": "5cd1021eb6cc32944aff9431159f88719d494e33",
  "parents": [
    "6ca8389670bd7979172234c3c31b2b394fc69d06"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jul 06 11:34:07 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 08 17:36:05 2021 +0200"
  },
  "message": "doc: bundle updated `lean4.py` Pygments file and `lstlean.tex`\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c5d10f6cca8656e5363ddfe73f1f3c3828511da8",
      "new_mode": 33188,
      "new_path": "doc/latex/lean4.py"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c91a9d7e1efc291dc61dcd3b052e07c144ddb1f2",
      "new_mode": 33188,
      "new_path": "doc/latex/lstlean.tex"
    },
    {
      "type": "modify",
      "old_id": "21405b9e19f82b2a7f83d027ead0800f0c1b56ed",
      "old_mode": 33188,
      "old_path": "doc/syntax_highlight_in_latex.md",
      "new_id": "212e3886e121b225a3e91a772d51738d29f93437",
      "new_mode": 33188,
      "new_path": "doc/syntax_highlight_in_latex.md"
    }
  ]
}