diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-12-27 19:04:45 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-12-27 19:49:46 +0000 |
commit | 5a2a4c31f8ee252b778e2fea2da00de8906792c3 (patch) | |
tree | fedbbb849e38ba916746669ca7d5f4dc457debaf /.gitignore | |
parent | afc7c57b3b8240aa84e7682272bf528615530ba2 (diff) |
Edits to snapshot size argument, minor edits here and there
Following Boud's point in the previous commit, I tried to clarify the point
in the text that we are only talking about hand-written source files: in
short, in this part of the paper, we are not talking abou the
version/snapshot for arXiv which needs figures and many extra automatically
built files. We are just talking about the raw, hand-written files. Trying
to convince people how good it is to keep the raw files separate from
automatically generated files ;-).
Also, while looking around in other parts of the main body of the paper, I
tried to edit/clarify a few points and summarize/shorten others.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions