{"shas":[["a318bd2a1352ae201108042cb848c2b590cee465","cdd4f874095045f4ae6670038cbbd05fac9d4802","Patch: font-lock-beginning-of-syntax-function -> syntax-begin-function to work with Emacs 23.3.  May break work with earlier versions.","da"],["054276bc36556c6b8d2db5081d0d49ea9d3c48f3","cdd4f874095045f4ae6670038cbbd05fac9d4802","Clean up some defcustom docstrings (remove *'s)","da"],["c03000bbc56ca923a4501104c61912a10335da5e","cdd4f874095045f4ae6670038cbbd05fac9d4802","Fix so that make test.coq runs successfully.","da"],["6ff325b476a4574ef2259ed6a5fcc909783e1568","cdd4f874095045f4ae6670038cbbd05fac9d4802","Fix compile","da"],["92285f6036a12050e49b9182f71b59cfc92f75cb","cdd4f874095045f4ae6670038cbbd05fac9d4802","Updated.","da"],["2749ad16a871af6d63ef8255a4b0df644cd137d4","cdd4f874095045f4ae6670038cbbd05fac9d4802","Update magic, tweak Makefile to make sure magic uses source .els","da"],["72ff83921d92772ed624dafa3817ae427f44f4be","cdd4f874095045f4ae6670038cbbd05fac9d4802","Set version tag for new release.","da"],["8cea68a21f0953c3feae0cc1a1777fee877980c6","c59aa606a9b27b5d644985c38f723e610817bc90","update Hendrik's personal issue list","tews"]],"repo":"emacsmirror/proofgeneral","actor":"tarsius","ref":"refs/heads/master","size":8,"head":"8cea68a21f0953c3feae0cc1a1777fee877980c6","actor_gravatar":"059a5820c6189aa2661f80f3abc62112","push_id":29973367}