{"pages":[{"page_name":"Tactics-Written-in-OCaml","title":"Tactics Written in OCaml","summary":null,"action":"edited","sha":"9aaf3cc38fc8cc04d1f3a4cae52937ccc99ab8e8","html_url":"https://github.com/mattjquinn/coq_wiki_temp/wiki/Tactics-Written-in-OCaml"}]}
{"actor":{"display_login":"mattjquinn"}}