{"action":"created","issue":{"url":"https://api.github.com/repos/snu-sf/pl2015/issues/62","labels_url":"https://api.github.com/repos/snu-sf/pl2015/issues/62/labels{/name}","comments_url":"https://api.github.com/repos/snu-sf/pl2015/issues/62/comments","events_url":"https://api.github.com/repos/snu-sf/pl2015/issues/62/events","html_url":"https://github.com/snu-sf/pl2015/issues/62","id":67913413,"number":62,"title":"About dividing assignment files","user":{"login":"fortunist","id":1583071,"avatar_url":"https://avatars.githubusercontent.com/u/1583071?v=3","gravatar_id":"","url":"https://api.github.com/users/fortunist","html_url":"https://github.com/fortunist","followers_url":"https://api.github.com/users/fortunist/followers","following_url":"https://api.github.com/users/fortunist/following{/other_user}","gists_url":"https://api.github.com/users/fortunist/gists{/gist_id}","starred_url":"https://api.github.com/users/fortunist/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fortunist/subscriptions","organizations_url":"https://api.github.com/users/fortunist/orgs","repos_url":"https://api.github.com/users/fortunist/repos","events_url":"https://api.github.com/users/fortunist/events{/privacy}","received_events_url":"https://api.github.com/users/fortunist/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2015-04-12T13:11:23Z","updated_at":"2015-04-14T16:59:00Z","closed_at":null,"body":"I think it is too uncomfortable for students.\r\nThere is a possible situation like this : I defined a lemma for some theorems to prove, and it works well when I compile. However, it makes problem in new grading method because the lemma is not in the skeleton files. To avoid this situation, I have to define the lemma in all files which have a theorem using the lemma. I think it is too uncomfortable.\r\nFurthermore, I think it is okay using one theorem to prove in other files' theorems because of <code>admit.</code>(if not, it makes further uncomfortability) but to find the theorem, I have to open and open and open other files again or use <code>SearchAbout</code> whenever using the theorem. I just scrolled a file in previous assignments. I think it is too uncomfortable."},"comment":{"url":"https://api.github.com/repos/snu-sf/pl2015/issues/comments/92980157","html_url":"https://github.com/snu-sf/pl2015/issues/62#issuecomment-92980157","issue_url":"https://api.github.com/repos/snu-sf/pl2015/issues/62","id":92980157,"user":{"login":"jeehoonkang","id":1201316,"avatar_url":"https://avatars.githubusercontent.com/u/1201316?v=3","gravatar_id":"","url":"https://api.github.com/users/jeehoonkang","html_url":"https://github.com/jeehoonkang","followers_url":"https://api.github.com/users/jeehoonkang/followers","following_url":"https://api.github.com/users/jeehoonkang/following{/other_user}","gists_url":"https://api.github.com/users/jeehoonkang/gists{/gist_id}","starred_url":"https://api.github.com/users/jeehoonkang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jeehoonkang/subscriptions","organizations_url":"https://api.github.com/users/jeehoonkang/orgs","repos_url":"https://api.github.com/users/jeehoonkang/repos","events_url":"https://api.github.com/users/jeehoonkang/events{/privacy}","received_events_url":"https://api.github.com/users/jeehoonkang/received_events","type":"User","site_admin":false},"created_at":"2015-04-14T16:59:00Z","updated_at":"2015-04-14T16:59:00Z","body":"@justlaugh05 Thank you for your kind opinion. Gil and I will try best for students' convenience.\r\n\r\nJeehoon"}}