{"push_id":2365273414,"size":8,"distinct_size":1,"ref":"refs/heads/master","head":"d55c323ee5b3ff2b679f301820b2ef0e86b94016","before":"28aec950d373ea00f82d3511b7d8c0cbb5e37c34","commits":[{"sha":"d29b170269136a9358d34e0383eed5122f93596e","author":{"name":"Kevin Milner","email":"9129a6475da0ead8b6a6495d21cbc828bea4c1af@cs.ox.ac.uk"},"message":"Added syntax description of rule colors","distinct":false,"url":"https://api.github.com/repos/tamarin-prover/manual/commits/d29b170269136a9358d34e0383eed5122f93596e"},{"sha":"d52b8199ee96a02a289b8c130428d187af65e1dc","author":{"name":"Cas Cremers","email":"d052b290bf2940cd56e7d201d95e3bb6a8fab211@gmail.com"},"message":"Merge pull request #29 from kmilner/master\n\nAdded syntax description of rule annotations (currently only colouring)","distinct":false,"url":"https://api.github.com/repos/tamarin-prover/manual/commits/d52b8199ee96a02a289b8c130428d187af65e1dc"},{"sha":"733b94885a0dc2f6fac0caf39f8cb5f5d5e95245","author":{"name":"landave","email":"218aefae877680fa1983ce0d23d1db197a5d9dec@mailbox.org"},"message":"Added oracle documentation.","distinct":false,"url":"https://api.github.com/repos/tamarin-prover/manual/commits/733b94885a0dc2f6fac0caf39f8cb5f5d5e95245"},{"sha":"16a41b692e3ee94fdaca3494701efbb551c5f4d9","author":{"name":"landave","email":"218aefae877680fa1983ce0d23d1db197a5d9dec@mailbox.org"},"message":"Added explicit command and removed unnecessary imports in oracle example.","distinct":false,"url":"https://api.github.com/repos/tamarin-prover/manual/commits/16a41b692e3ee94fdaca3494701efbb551c5f4d9"},{"sha":"1f26e2d78e026500123c4742ec771c1a2ae2b2a4","author":{"name":"Jannik Dreier","email":"ece622c660240546b71d690c59c6212f9e6622b8@loria.fr"},"message":"public constants are disallowed in equations","distinct":false,"url":"https://api.github.com/repos/tamarin-prover/manual/commits/1f26e2d78e026500123c4742ec771c1a2ae2b2a4"},{"sha":"324adf8e2bdd8d6798997a2116dbcb7198e528fe","author":{"name":"Jannik Dreier","email":"ece622c660240546b71d690c59c6212f9e6622b8@loria.fr"},"message":"merge","distinct":false,"url":"https://api.github.com/repos/tamarin-prover/manual/commits/324adf8e2bdd8d6798997a2116dbcb7198e528fe"},{"sha":"c09148343ecf61fabfb7a88a3e18c913002ae338","author":{"name":"Jannik Dreier","email":"ece622c660240546b71d690c59c6212f9e6622b8@loria.fr"},"message":"added description for builtin revealing-signing","distinct":false,"url":"https://api.github.com/repos/tamarin-prover/manual/commits/c09148343ecf61fabfb7a88a3e18c913002ae338"},{"sha":"d55c323ee5b3ff2b679f301820b2ef0e86b94016","author":{"name":"jdreier","email":"0d7afecb883aa6648a6839ef8553e219f6413fcc@users.noreply.github.com"},"message":"Merge pull request #39 from tamarin-prover/develop\n\nDevelop","distinct":true,"url":"https://api.github.com/repos/tamarin-prover/manual/commits/d55c323ee5b3ff2b679f301820b2ef0e86b94016"}]}
{"actor":{"display_login":"jdreier"}}