{"action":"created","issue":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/624","repository_url":"https://api.github.com/repos/FStarLang/FStar","labels_url":"https://api.github.com/repos/FStarLang/FStar/issues/624/labels{/name}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/624/comments","events_url":"https://api.github.com/repos/FStarLang/FStar/issues/624/events","html_url":"https://github.com/FStarLang/FStar/issues/624","id":171599040,"number":624,"title":"Enable multi-file tutorials","user":{"login":"markulf","id":9845640,"avatar_url":"https://avatars.githubusercontent.com/u/9845640?v=3","gravatar_id":"","url":"https://api.github.com/users/markulf","html_url":"https://github.com/markulf","followers_url":"https://api.github.com/users/markulf/followers","following_url":"https://api.github.com/users/markulf/following{/other_user}","gists_url":"https://api.github.com/users/markulf/gists{/gist_id}","starred_url":"https://api.github.com/users/markulf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/markulf/subscriptions","organizations_url":"https://api.github.com/users/markulf/orgs","repos_url":"https://api.github.com/users/markulf/repos","events_url":"https://api.github.com/users/markulf/events{/privacy}","received_events_url":"https://api.github.com/users/markulf/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/FStarLang/FStar/labels/tutorial","name":"tutorial","color":"c2e0c6"}],"state":"open","locked":false,"assignee":{"login":"ad-l","id":7765949,"avatar_url":"https://avatars.githubusercontent.com/u/7765949?v=3","gravatar_id":"","url":"https://api.github.com/users/ad-l","html_url":"https://github.com/ad-l","followers_url":"https://api.github.com/users/ad-l/followers","following_url":"https://api.github.com/users/ad-l/following{/other_user}","gists_url":"https://api.github.com/users/ad-l/gists{/gist_id}","starred_url":"https://api.github.com/users/ad-l/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ad-l/subscriptions","organizations_url":"https://api.github.com/users/ad-l/orgs","repos_url":"https://api.github.com/users/ad-l/repos","events_url":"https://api.github.com/users/ad-l/events{/privacy}","received_events_url":"https://api.github.com/users/ad-l/received_events","type":"User","site_admin":false},"assignees":[{"login":"ad-l","id":7765949,"avatar_url":"https://avatars.githubusercontent.com/u/7765949?v=3","gravatar_id":"","url":"https://api.github.com/users/ad-l","html_url":"https://github.com/ad-l","followers_url":"https://api.github.com/users/ad-l/followers","following_url":"https://api.github.com/users/ad-l/following{/other_user}","gists_url":"https://api.github.com/users/ad-l/gists{/gist_id}","starred_url":"https://api.github.com/users/ad-l/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ad-l/subscriptions","organizations_url":"https://api.github.com/users/ad-l/orgs","repos_url":"https://api.github.com/users/ad-l/repos","events_url":"https://api.github.com/users/ad-l/events{/privacy}","received_events_url":"https://api.github.com/users/ad-l/received_events","type":"User","site_admin":false},{"login":"markulf","id":9845640,"avatar_url":"https://avatars.githubusercontent.com/u/9845640?v=3","gravatar_id":"","url":"https://api.github.com/users/markulf","html_url":"https://github.com/markulf","followers_url":"https://api.github.com/users/markulf/followers","following_url":"https://api.github.com/users/markulf/following{/other_user}","gists_url":"https://api.github.com/users/markulf/gists{/gist_id}","starred_url":"https://api.github.com/users/markulf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/markulf/subscriptions","organizations_url":"https://api.github.com/users/markulf/orgs","repos_url":"https://api.github.com/users/markulf/repos","events_url":"https://api.github.com/users/markulf/events{/privacy}","received_events_url":"https://api.github.com/users/markulf/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/FStarLang/FStar/milestones/4","html_url":"https://github.com/FStarLang/FStar/milestones/Crypto%20Tutorials","labels_url":"https://api.github.com/repos/FStarLang/FStar/milestones/4/labels","id":1942530,"number":4,"title":"Crypto Tutorials","description":"To teach F* we need good tutorials. Crypto tutorials have been a problem for a while, and with the switch to universes and other changes also the other tutorials have slipped. Issues in this milestone are meant to address this, withing the narrow focus of what can be done until the school.","creator":{"login":"markulf","id":9845640,"avatar_url":"https://avatars.githubusercontent.com/u/9845640?v=3","gravatar_id":"","url":"https://api.github.com/users/markulf","html_url":"https://github.com/markulf","followers_url":"https://api.github.com/users/markulf/followers","following_url":"https://api.github.com/users/markulf/following{/other_user}","gists_url":"https://api.github.com/users/markulf/gists{/gist_id}","starred_url":"https://api.github.com/users/markulf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/markulf/subscriptions","organizations_url":"https://api.github.com/users/markulf/orgs","repos_url":"https://api.github.com/users/markulf/repos","events_url":"https://api.github.com/users/markulf/events{/privacy}","received_events_url":"https://api.github.com/users/markulf/received_events","type":"User","site_admin":false},"open_issues":7,"closed_issues":14,"state":"open","created_at":"2016-08-15T14:29:26Z","updated_at":"2016-09-11T13:02:41Z","due_on":"2016-09-09T00:00:00Z","closed_at":null},"comments":8,"created_at":"2016-08-17T08:12:02Z","updated_at":"2016-09-24T08:17:07Z","closed_at":null,"body":"This should be relatively easy technically. The challenge may be in the presentation to the user."},"comment":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/comments/249352421","html_url":"https://github.com/FStarLang/FStar/issues/624#issuecomment-249352421","issue_url":"https://api.github.com/repos/FStarLang/FStar/issues/624","id":249352421,"user":{"login":"catalin-hritcu","id":5850655,"avatar_url":"https://avatars.githubusercontent.com/u/5850655?v=3","gravatar_id":"","url":"https://api.github.com/users/catalin-hritcu","html_url":"https://github.com/catalin-hritcu","followers_url":"https://api.github.com/users/catalin-hritcu/followers","following_url":"https://api.github.com/users/catalin-hritcu/following{/other_user}","gists_url":"https://api.github.com/users/catalin-hritcu/gists{/gist_id}","starred_url":"https://api.github.com/users/catalin-hritcu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/catalin-hritcu/subscriptions","organizations_url":"https://api.github.com/users/catalin-hritcu/orgs","repos_url":"https://api.github.com/users/catalin-hritcu/repos","events_url":"https://api.github.com/users/catalin-hritcu/events{/privacy}","received_events_url":"https://api.github.com/users/catalin-hritcu/received_events","type":"User","site_admin":false},"created_at":"2016-09-24T08:17:07Z","updated_at":"2016-09-24T08:17:07Z","body":"One thing the online editor does support currently is multiple modules per edit buffer. Via some hacks these modules are split into separate files. Not sure this is the right way of doing it, but wanted to mention its existance."}}
{"actor":{"display_login":"catalin-hritcu"}}