{"action":"created","comment":{"url":"https://api.github.com/repos/FStarLang/FStar/pulls/comments/95820593","pull_request_review_id":16387453,"id":95820593,"diff_hunk":"@@ -143,16 +161,29 @@ the [source code on github] using these [instructions].\n [source code on github]: http://github.com/FStarLang/FStar\r\n [instructions]: https://github.com/FStarLang/FStar/blob/master/INSTALL.md\r\n \r\n-You can edit F\\* code using your favorite text editor, but [Emacs],\r\n-[Atom], and [Vim] have extensions that add special support for F\\*,\r\n-including syntax highlighting and interactive development. More\r\n-details on [editor support] on the [F\\* wiki].\r\n+You can edit F\\* code using your favorite text editor, but [Emacs] has an\r\n+extension that add special support for F\\*, including syntax highlighting and\r\n+interactive development. More details on [editor support] on the [F\\* wiki].\r\n+You can find the code for the exercises and the solutions in the [F\\* repository] \r\n+on Github. However, note that for some exercises, you have to include additional\r\n+libraries. Details on how to do this for Emacs can be found in the wiki.\r\n+\r\n+~KK\r\n+Both Atom and Vim support seems to be either broken or discontinued (or both),\r\n+so we might not want to list them as viable options for the audience of this\r\n+tutorial. Also, the code available on the tutorial page and on github differs\r\n+quite a bit (as does the F\\* version I guess). In my case, this lead to some\r\n+unexpected errors when copying code from the online-editor to Emacs. When\r\n+someone is using Emacs, we might want to point them to the libraries they have\r\n+to include (only where necessary).\r\n+~\r","path":"doc/tutorial/tutorial.mdk","position":null,"original_position":55,"commit_id":"43f46ffdc02e1584fb907f0ef22c08fc1e998ab4","original_commit_id":"2f1f1906c3cbe546396fd9ce3c9ef0008311eff2","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},"body":"As pointed out by A-Manning, Atom is maintained, and I know that some prefer Vim, even if the plugin mostly provides syntax highlighting. Maybe point out that the main mode is emacs:\r\n\r\nMore details on [editor support], e.g. for Atom and Vim on the [F\\* wiki].\r\n","created_at":"2017-01-12T15:52:04Z","updated_at":"2017-01-12T15:52:04Z","html_url":"https://github.com/FStarLang/FStar/pull/813#discussion_r95820593","pull_request_url":"https://api.github.com/repos/FStarLang/FStar/pulls/813","_links":{"self":{"href":"https://api.github.com/repos/FStarLang/FStar/pulls/comments/95820593"},"html":{"href":"https://github.com/FStarLang/FStar/pull/813#discussion_r95820593"},"pull_request":{"href":"https://api.github.com/repos/FStarLang/FStar/pulls/813"}}},"pull_request":{"url":"https://api.github.com/repos/FStarLang/FStar/pulls/813","id":101080252,"html_url":"https://github.com/FStarLang/FStar/pull/813","diff_url":"https://github.com/FStarLang/FStar/pull/813.diff","patch_url":"https://github.com/FStarLang/FStar/pull/813.patch","issue_url":"https://api.github.com/repos/FStarLang/FStar/issues/813","number":813,"state":"open","locked":false,"title":"Comments on the tutorial","user":{"login":"kkohbrok","id":9829662,"avatar_url":"https://avatars.githubusercontent.com/u/9829662?v=3","gravatar_id":"","url":"https://api.github.com/users/kkohbrok","html_url":"https://github.com/kkohbrok","followers_url":"https://api.github.com/users/kkohbrok/followers","following_url":"https://api.github.com/users/kkohbrok/following{/other_user}","gists_url":"https://api.github.com/users/kkohbrok/gists{/gist_id}","starred_url":"https://api.github.com/users/kkohbrok/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kkohbrok/subscriptions","organizations_url":"https://api.github.com/users/kkohbrok/orgs","repos_url":"https://api.github.com/users/kkohbrok/repos","events_url":"https://api.github.com/users/kkohbrok/events{/privacy}","received_events_url":"https://api.github.com/users/kkohbrok/received_events","type":"User","site_admin":false},"body":"This PR includes some of my thoughts while working through the tutorial. Please note that I only have limited experience with functional programming and verification techniques, so I might not actually be in the target group of this tutorial. (And some of my comments may just be due to my lack of understanding). \r\nAlso I did not actually change much of the content. If some of my comments are met with approval, I will happily try to follow up with some actual changes to the tutorial.","created_at":"2017-01-11T14:50:27Z","updated_at":"2017-01-12T15:52:04Z","closed_at":null,"merged_at":null,"merge_commit_sha":"7be9cb2b1c26a230d60529558bcc6ddfae57bee9","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/FStarLang/FStar/pulls/813/commits","review_comments_url":"https://api.github.com/repos/FStarLang/FStar/pulls/813/comments","review_comment_url":"https://api.github.com/repos/FStarLang/FStar/pulls/comments{/number}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/813/comments","statuses_url":"https://api.github.com/repos/FStarLang/FStar/statuses/43f46ffdc02e1584fb907f0ef22c08fc1e998ab4","head":{"label":"kkohbrok:master","ref":"master","sha":"43f46ffdc02e1584fb907f0ef22c08fc1e998ab4","user":{"login":"kkohbrok","id":9829662,"avatar_url":"https://avatars.githubusercontent.com/u/9829662?v=3","gravatar_id":"","url":"https://api.github.com/users/kkohbrok","html_url":"https://github.com/kkohbrok","followers_url":"https://api.github.com/users/kkohbrok/followers","following_url":"https://api.github.com/users/kkohbrok/following{/other_user}","gists_url":"https://api.github.com/users/kkohbrok/gists{/gist_id}","starred_url":"https://api.github.com/users/kkohbrok/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kkohbrok/subscriptions","organizations_url":"https://api.github.com/users/kkohbrok/orgs","repos_url":"https://api.github.com/users/kkohbrok/repos","events_url":"https://api.github.com/users/kkohbrok/events{/privacy}","received_events_url":"https://api.github.com/users/kkohbrok/received_events","type":"User","site_admin":false},"repo":{"id":78088250,"name":"FStar","full_name":"kkohbrok/FStar","owner":{"login":"kkohbrok","id":9829662,"avatar_url":"https://avatars.githubusercontent.com/u/9829662?v=3","gravatar_id":"","url":"https://api.github.com/users/kkohbrok","html_url":"https://github.com/kkohbrok","followers_url":"https://api.github.com/users/kkohbrok/followers","following_url":"https://api.github.com/users/kkohbrok/following{/other_user}","gists_url":"https://api.github.com/users/kkohbrok/gists{/gist_id}","starred_url":"https://api.github.com/users/kkohbrok/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kkohbrok/subscriptions","organizations_url":"https://api.github.com/users/kkohbrok/orgs","repos_url":"https://api.github.com/users/kkohbrok/repos","events_url":"https://api.github.com/users/kkohbrok/events{/privacy}","received_events_url":"https://api.github.com/users/kkohbrok/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/kkohbrok/FStar","description":"An ML-like language aimed at program verification","fork":true,"url":"https://api.github.com/repos/kkohbrok/FStar","forks_url":"https://api.github.com/repos/kkohbrok/FStar/forks","keys_url":"https://api.github.com/repos/kkohbrok/FStar/keys{/key_id}","collaborators_url":"https://api.github.com/repos/kkohbrok/FStar/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/kkohbrok/FStar/teams","hooks_url":"https://api.github.com/repos/kkohbrok/FStar/hooks","issue_events_url":"https://api.github.com/repos/kkohbrok/FStar/issues/events{/number}","events_url":"https://api.github.com/repos/kkohbrok/FStar/events","assignees_url":"https://api.github.com/repos/kkohbrok/FStar/assignees{/user}","branches_url":"https://api.github.com/repos/kkohbrok/FStar/branches{/branch}","tags_url":"https://api.github.com/repos/kkohbrok/FStar/tags","blobs_url":"https://api.github.com/repos/kkohbrok/FStar/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/kkohbrok/FStar/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/kkohbrok/FStar/git/refs{/sha}","trees_url":"https://api.github.com/repos/kkohbrok/FStar/git/trees{/sha}","statuses_url":"https://api.github.com/repos/kkohbrok/FStar/statuses/{sha}","languages_url":"https://api.github.com/repos/kkohbrok/FStar/languages","stargazers_url":"https://api.github.com/repos/kkohbrok/FStar/stargazers","contributors_url":"https://api.github.com/repos/kkohbrok/FStar/contributors","subscribers_url":"https://api.github.com/repos/kkohbrok/FStar/subscribers","subscription_url":"https://api.github.com/repos/kkohbrok/FStar/subscription","commits_url":"https://api.github.com/repos/kkohbrok/FStar/commits{/sha}","git_commits_url":"https://api.github.com/repos/kkohbrok/FStar/git/commits{/sha}","comments_url":"https://api.github.com/repos/kkohbrok/FStar/comments{/number}","issue_comment_url":"https://api.github.com/repos/kkohbrok/FStar/issues/comments{/number}","contents_url":"https://api.github.com/repos/kkohbrok/FStar/contents/{+path}","compare_url":"https://api.github.com/repos/kkohbrok/FStar/compare/{base}...{head}","merges_url":"https://api.github.com/repos/kkohbrok/FStar/merges","archive_url":"https://api.github.com/repos/kkohbrok/FStar/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/kkohbrok/FStar/downloads","issues_url":"https://api.github.com/repos/kkohbrok/FStar/issues{/number}","pulls_url":"https://api.github.com/repos/kkohbrok/FStar/pulls{/number}","milestones_url":"https://api.github.com/repos/kkohbrok/FStar/milestones{/number}","notifications_url":"https://api.github.com/repos/kkohbrok/FStar/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/kkohbrok/FStar/labels{/name}","releases_url":"https://api.github.com/repos/kkohbrok/FStar/releases{/id}","deployments_url":"https://api.github.com/repos/kkohbrok/FStar/deployments","created_at":"2017-01-05T06:58:21Z","updated_at":"2017-01-05T06:58:27Z","pushed_at":"2017-01-12T15:43:41Z","git_url":"git://github.com/kkohbrok/FStar.git","ssh_url":"git@github.com:kkohbrok/FStar.git","clone_url":"https://github.com/kkohbrok/FStar.git","svn_url":"https://github.com/kkohbrok/FStar","homepage":"https://www.fstar-lang.org/","size":102512,"stargazers_count":0,"watchers_count":0,"language":"OCaml","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"FStarLang:master","ref":"master","sha":"894a7788aaa5285293a6f348be7433d88018ae27","user":{"login":"FStarLang","id":7689927,"avatar_url":"https://avatars.githubusercontent.com/u/7689927?v=3","gravatar_id":"","url":"https://api.github.com/users/FStarLang","html_url":"https://github.com/FStarLang","followers_url":"https://api.github.com/users/FStarLang/followers","following_url":"https://api.github.com/users/FStarLang/following{/other_user}","gists_url":"https://api.github.com/users/FStarLang/gists{/gist_id}","starred_url":"https://api.github.com/users/FStarLang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FStarLang/subscriptions","organizations_url":"https://api.github.com/users/FStarLang/orgs","repos_url":"https://api.github.com/users/FStarLang/repos","events_url":"https://api.github.com/users/FStarLang/events{/privacy}","received_events_url":"https://api.github.com/users/FStarLang/received_events","type":"Organization","site_admin":false},"repo":{"id":18411972,"name":"FStar","full_name":"FStarLang/FStar","owner":{"login":"FStarLang","id":7689927,"avatar_url":"https://avatars.githubusercontent.com/u/7689927?v=3","gravatar_id":"","url":"https://api.github.com/users/FStarLang","html_url":"https://github.com/FStarLang","followers_url":"https://api.github.com/users/FStarLang/followers","following_url":"https://api.github.com/users/FStarLang/following{/other_user}","gists_url":"https://api.github.com/users/FStarLang/gists{/gist_id}","starred_url":"https://api.github.com/users/FStarLang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FStarLang/subscriptions","organizations_url":"https://api.github.com/users/FStarLang/orgs","repos_url":"https://api.github.com/users/FStarLang/repos","events_url":"https://api.github.com/users/FStarLang/events{/privacy}","received_events_url":"https://api.github.com/users/FStarLang/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/FStarLang/FStar","description":"An ML-like language aimed at program verification","fork":false,"url":"https://api.github.com/repos/FStarLang/FStar","forks_url":"https://api.github.com/repos/FStarLang/FStar/forks","keys_url":"https://api.github.com/repos/FStarLang/FStar/keys{/key_id}","collaborators_url":"https://api.github.com/repos/FStarLang/FStar/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/FStarLang/FStar/teams","hooks_url":"https://api.github.com/repos/FStarLang/FStar/hooks","issue_events_url":"https://api.github.com/repos/FStarLang/FStar/issues/events{/number}","events_url":"https://api.github.com/repos/FStarLang/FStar/events","assignees_url":"https://api.github.com/repos/FStarLang/FStar/assignees{/user}","branches_url":"https://api.github.com/repos/FStarLang/FStar/branches{/branch}","tags_url":"https://api.github.com/repos/FStarLang/FStar/tags","blobs_url":"https://api.github.com/repos/FStarLang/FStar/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/FStarLang/FStar/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/FStarLang/FStar/git/refs{/sha}","trees_url":"https://api.github.com/repos/FStarLang/FStar/git/trees{/sha}","statuses_url":"https://api.github.com/repos/FStarLang/FStar/statuses/{sha}","languages_url":"https://api.github.com/repos/FStarLang/FStar/languages","stargazers_url":"https://api.github.com/repos/FStarLang/FStar/stargazers","contributors_url":"https://api.github.com/repos/FStarLang/FStar/contributors","subscribers_url":"https://api.github.com/repos/FStarLang/FStar/subscribers","subscription_url":"https://api.github.com/repos/FStarLang/FStar/subscription","commits_url":"https://api.github.com/repos/FStarLang/FStar/commits{/sha}","git_commits_url":"https://api.github.com/repos/FStarLang/FStar/git/commits{/sha}","comments_url":"https://api.github.com/repos/FStarLang/FStar/comments{/number}","issue_comment_url":"https://api.github.com/repos/FStarLang/FStar/issues/comments{/number}","contents_url":"https://api.github.com/repos/FStarLang/FStar/contents/{+path}","compare_url":"https://api.github.com/repos/FStarLang/FStar/compare/{base}...{head}","merges_url":"https://api.github.com/repos/FStarLang/FStar/merges","archive_url":"https://api.github.com/repos/FStarLang/FStar/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/FStarLang/FStar/downloads","issues_url":"https://api.github.com/repos/FStarLang/FStar/issues{/number}","pulls_url":"https://api.github.com/repos/FStarLang/FStar/pulls{/number}","milestones_url":"https://api.github.com/repos/FStarLang/FStar/milestones{/number}","notifications_url":"https://api.github.com/repos/FStarLang/FStar/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/FStarLang/FStar/labels{/name}","releases_url":"https://api.github.com/repos/FStarLang/FStar/releases{/id}","deployments_url":"https://api.github.com/repos/FStarLang/FStar/deployments","created_at":"2014-04-03T17:32:49Z","updated_at":"2017-01-12T05:07:44Z","pushed_at":"2017-01-12T15:43:41Z","git_url":"git://github.com/FStarLang/FStar.git","ssh_url":"git@github.com:FStarLang/FStar.git","clone_url":"https://github.com/FStarLang/FStar.git","svn_url":"https://github.com/FStarLang/FStar","homepage":"https://www.fstar-lang.org/","size":103697,"stargazers_count":716,"watchers_count":716,"language":"OCaml","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":64,"mirror_url":null,"open_issues_count":243,"forks":64,"open_issues":243,"watchers":716,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/FStarLang/FStar/pulls/813"},"html":{"href":"https://github.com/FStarLang/FStar/pull/813"},"issue":{"href":"https://api.github.com/repos/FStarLang/FStar/issues/813"},"comments":{"href":"https://api.github.com/repos/FStarLang/FStar/issues/813/comments"},"review_comments":{"href":"https://api.github.com/repos/FStarLang/FStar/pulls/813/comments"},"review_comment":{"href":"https://api.github.com/repos/FStarLang/FStar/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/FStarLang/FStar/pulls/813/commits"},"statuses":{"href":"https://api.github.com/repos/FStarLang/FStar/statuses/43f46ffdc02e1584fb907f0ef22c08fc1e998ab4"}}}}
{"actor":{"display_login":"markulf"}}