GitHub ReleaseEvent at 2014-06-10 21:46:17
Repository: Hets
Actor: sternk
Payload: {"action":"published","release":{"url":"https://api.github.com/repos/spechub/Hets/releases/367271","assets_url":"https://api.github.com/repos/spechub/Hets/releases/367271/assets","upload_url":"https://uploads.github.com/repos/spechub/Hets/releases/367271/assets{?name}","html_url":"https://github.com/spechub/Hets/releases/tag/release-0.93","id":367271,"tag_name":"release-0.93","target_commitish":"master","name":"","draft":false,"author":{"login":"sternk","id":2765467,"avatar_url":"https://avatars.githubusercontent.com/u/2765467?","gravatar_id":"f652951a20bc5fa984c943f9eba831fe","url":"https://api.github.com/users/sternk","html_url":"https://github.com/sternk","followers_url":"https://api.github.com/users/sternk/followers","following_url":"https://api.github.com/users/sternk/following{/other_user}","gists_url":"https://api.github.com/users/sternk/gists{/gist_id}","starred_url":"https://api.github.com/users/sternk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sternk/subscriptions","organizations_url":"https://api.github.com/users/sternk/orgs","repos_url":"https://api.github.com/users/sternk/repos","events_url":"https://api.github.com/users/sternk/events{/privacy}","received_events_url":"https://api.github.com/users/sternk/received_events","type":"User","site_admin":false},"prerelease":false,"created_at":"2009-03-31T11:41:41Z","published_at":"2014-06-10T21:46:17Z","assets":[],"tarball_url":"https://api.github.com/repos/spechub/Hets/tarball/release-0.93","zipball_url":"https://api.github.com/repos/spechub/Hets/zipball/release-0.93","body":" * send structured theories to the VSE prover\r\n     - still experimental and\r\n     - only for those that have VSE\r\n * normal form computation\r\n     - available for CASL and extensions (like VSE)\r\n     - turned out to be too slow to be included in \"automatic\"\r\n * logic OWL improved\r\n * HasCASL to Isabelle translation improved\r\n * ongoing work on other logics\r\n      - CspCASL"}}