diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-10 19:54:41 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-10 19:54:41 +0100 |
commit | 7800085eddd59f47e5f7b40a5a077dc1cbe7d97b (patch) | |
tree | c0bc6aaf014cb486656877a5cf9d6fe63e8aa971 /reproduce/analysis | |
parent | 91a37c6c7fc8f08d33c99f77d1cb29451aed1e97 (diff) |
Renamed initial paper to paper-long.tex, to write shorter new version
We just recently recognied that the final paper should not be longer than
8000 words. The easiest way was just to start a new `paper.tex' and bring
in parts from the original/long version. We can use all the hard work that
went into writing the long paper later (possibly in a manual for
Maneage). So I don't want to suddenly distroy its history at this point.
To let Git know about renaming the original `paper.tex' to
`tex/src/paper-long.tex', I am making this commit. This commit doesn't have
any `paper.tex' and only records the fact that it has been renamed. In the
next commit, I'll re-create `paper.tex' which will host the short/final
version. But thanks to this commit, if we later make any changes to long
version, Git will know that it was originally the main `paper.tex'.
Diffstat (limited to 'reproduce/analysis')
0 files changed, 0 insertions, 0 deletions