{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":96534345,"defaultBranch":"master","name":"coq2html","ownerLogin":"xavierleroy","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-07T11:59:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3845810?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1721051505.0","currentOid":""},"activityList":{"items":[{"before":"be0182cf700beea7edbbb9a9c1adab5e5a2350a5","after":"1547e8c8b07661b002c7a7e08a368fcb5b79b30b","ref":"refs/heads/master","pushedAt":"2024-08-23T10:08:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Typo in README.md","shortMessageHtmlLink":"Typo in README.md"}},{"before":"34cd8ad402d4d3eb3aef87a2b6cdd054fe36bb1c","after":"be0182cf700beea7edbbb9a9c1adab5e5a2350a5","ref":"refs/heads/master","pushedAt":"2024-08-23T10:07:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"End of detail tag for proofs (#9)\n\nA wrong edit caused detail tags to not be closed.","shortMessageHtmlLink":"End of detail tag for proofs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2482455670\" data-permission-text=\"Title is private\" data-url=\"https://github.com/xavierleroy/coq2html/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/xavierleroy/coq2html/pull/9/hovercard\" href=\"https://github.com/xavierleroy/coq2html/pull/9\">#9</a>)"}},{"before":"c569411cbd7e097d2a4cfc61d53e0a7590e1ff35","after":"34cd8ad402d4d3eb3aef87a2b6cdd054fe36bb1c","ref":"refs/heads/master","pushedAt":"2024-07-18T06:39:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"No more Javascript","shortMessageHtmlLink":"No more Javascript"}},{"before":"9dcd65430878b71d987abef2f630c68ba8c67878","after":"c569411cbd7e097d2a4cfc61d53e0a7590e1ff35","ref":"refs/heads/master","pushedAt":"2024-07-14T15:50:55.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Updates for release 1.4","shortMessageHtmlLink":"Updates for release 1.4"}},{"before":"350031d3eda46e92caa5b66333ce3c8d9706d190","after":"9dcd65430878b71d987abef2f630c68ba8c67878","ref":"refs/heads/master","pushedAt":"2024-07-14T15:29:02.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Documentation updates","shortMessageHtmlLink":"Documentation updates"}},{"before":"6e3fe6213996acc15e01fb3e5f5d22b7cef9d01b","after":"350031d3eda46e92caa5b66333ce3c8d9706d190","ref":"refs/heads/master","pushedAt":"2024-07-14T14:16:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Recognize character strings and display them specially\n\nFor one thing, this avoids wrong highlighting in Notation patterns.","shortMessageHtmlLink":"Recognize character strings and display them specially"}},{"before":"53534456180e84cf164486b0eb6b8ffcb717ccdb","after":"6e3fe6213996acc15e01fb3e5f5d22b7cef9d01b","ref":"refs/heads/master","pushedAt":"2024-07-14T14:15:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Recognize character strings and display them specially\n\nFor one thing, this avoids wrong highlighting in Notation patterns.","shortMessageHtmlLink":"Recognize character strings and display them specially"}},{"before":null,"after":"a1ffe83dfd36a73f52c182b1bba8e9877ac58a18","ref":"refs/heads/unicode","pushedAt":"2024-07-14T14:14:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Support Unicode in identifiers","shortMessageHtmlLink":"Support Unicode in identifiers"}},{"before":"0bf6739766ac5ca64c54e97324b60b46be96568a","after":"53534456180e84cf164486b0eb6b8ffcb717ccdb","ref":"refs/heads/master","pushedAt":"2024-07-13T17:21:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Tweak parsing of identifiers\n\n- Single quotes `'` can appear in identifiers\n- A single underscore `_` is not an identifier\n\nAlso: tiny simplification in parsing of .glob files, should have no visible impact.","shortMessageHtmlLink":"Tweak parsing of identifiers"}},{"before":"e93c42e4cef0b70279db38fd0082b2eb6459da0f","after":"0bf6739766ac5ca64c54e97324b60b46be96568a","ref":"refs/heads/master","pushedAt":"2024-01-10T17:38:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"More modern Makefile","shortMessageHtmlLink":"More modern Makefile"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEojUu5QA","startCursor":null,"endCursor":null}},"title":"Activity · xavierleroy/coq2html"}