docs: implemented feedback by ibbem

Author: pmbittner

README.md

@@ -101,9 +101,9 @@ These repositories are used when running the replication as described under `1.2
 You can also run _DiffDetective_ on other datasets by providing the path to the dataset file as first argument to the execution script:
 
 #### Windows:
-`.\execute.bat path\to\custon\dataset.md`
+`.\execute.bat path\to\custom\dataset.md`
 #### Linux/Mac (bash):
-`./execute.sh path/to/custon/dataset.md`
+`./execute.sh path/to/custom/dataset.md`
 
 The input file must have the same format as the other dataset files (i.e., repositories are listed in a Markdown table). You can find [dataset files](docs/datasets.md) in the [docs](docs) folder.
 

STATUS.md

@@ -5,27 +5,27 @@ The artifact for the paper _Classifying Edits to Variability in Source Code_ con
 1. **DiffDetective**: For our validation, we built DiffDetective, a java library and command-line tool to classify edits to variability in git histories of preprocessor-based software product lines. DiffDetective is the main artifact used to replicate the validation for our paper (see Section 5).
 2. **Appendix**: The appendix of our paper is given in PDF format in the file [`appendix.pdf`][ddappendix].
 3. **Haskell Formalization**: We provide an extended formalization in the Haskell programming language as described in our appendix. Its implementation can be found in the Haskell project in the [`proofs`][ddproofs] directory.
-4. **Dataset Overview**: We provide an overview of the 44 inspected open-source software product lines with updated links to their repositories in the file [docs/datasets.md](docs/datasets.md).
+4. **Dataset Overview**: We provide an overview of the 44 inspected open-source software product lines with updated links to their repositories in the file [docs/datasets.md][dddatasets].
 
 ## Purpose
 Our artifact has the following purposes:
 
 ### **Replicability**
-We provide replication instructions that allow to replicate the validation we performed in Section 5 of our paper. The replication is executed in a Docker container. 
+We provide replication instructions that allow to replicate the validation we performed in Section 5 of our paper. The replication is executed in a Docker container. To replicate our results, we also provide [forks of all 44 datasets][ddforks] in the very state we performed our validation on.
 
 ### **Reusability**
 DiffDetective is designed as a library that offers reusable functionality.
-  Researchers and practitioners can use our DiffDetective library to build on our theory and results (e.g., for future prototypes to study the evolution of variability in source code).
+Researchers and practitioners can use our DiffDetective library to build on our theory and results (e.g., for future prototypes to study the evolution of variability in source code).
 
-  DiffDetective offers various features, including but not limited to:
-  parsing variation tree diffs from unix diffs, obtaining variation tree diffs for certain patches and commits, matching elementary edit patterns on variation tree diffs, defining custom classifications, rendering, traversing, and transforming variation tree diffs, various de-/serialization methods, and running analyses for the git histories of C preprocessor-based software product lines. We documented each part of the library and provide a javadoc website within the repository.
+DiffDetective offers various features, including but not limited to:
+parsing variation tree diffs from unix diffs, obtaining variation tree diffs for certain patches and commits, matching elementary edit patterns on variation tree diffs, defining custom classifications, rendering, traversing, and transforming variation tree diffs, various de-/serialization methods, and running analyses for the git histories of C preprocessor-based software product lines. We documented each part of the library and provide a [javadoc website][dddocumentation] within the repository.
 
 ### **Extended Formal Specification**
-The `proofs` Haskell project provides an extended formal specification of our theory.
-  Its main purpose is to document the theory and its extensions to serve as a reference for the proofs in our appendix.
-  Yet, the project can also be used as a library to reason on variation trees and diffs in Haskell projects.
+The [`proofs`][ddproofs] Haskell project provides an extended formal specification of our theory.
+Its main purpose is to document the theory and its extensions to serve as a reference for the proofs in our appendix.
+Yet, the project can also be used as a library to reason on variation trees and diffs in Haskell projects.
 
-The library is accompanied by a small demo application that shows an example test case for our proof for completeness, by creating a variation tree diff from two variation trees and re-projecting them.
+The library is accompanied by a small demo application that shows an example test case for our proof of completeness by creating a variation tree diff from two variation trees and re-projecting them.
 
 ## Claims
 We claim the _Artifacts Available_ badge as we made our artefacts publicly available on [Github][ddgithub] and [Zenodo][ddzenodo] with an [open-source license][ddlicense].
@@ -38,3 +38,6 @@ Furthermore, both DiffDetective and our Haskell formalization serve as reference
 [ddappendix]: https://github.com/VariantSync/DiffDetective/raw/esecfse22/appendix.pdf
 [ddproofs]: https://github.com/VariantSync/DiffDetective/tree/esecfse22/proofs
 [ddlicense]: https://github.com/VariantSync/DiffDetective/blob/main/LICENSE.LGPL3
+[dddatasets]: docs/datasets.md
+[ddforks]: docs/replication/datasets.md
+[dddocumentation]: https://variantsync.github.io/DiffDetective/docs/javadoc/