diff options
| author | Erin van der Veen | 2018-04-19 09:51:08 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-04-19 09:51:08 +0200 |
| commit | cef8271999ce007abe7be1d0190f8c01ff6fd993 (patch) | |
| tree | c732f15530006b75b2182b515fa2da6c4e64d10c /Assignment1/assignment1.tex | |
| parent | Safra's determinization algorithm (diff) | |
| parent | Example: protocol dependencies (diff) | |
Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex index 1e5a55a..cb1b363 100644 --- a/Assignment1/assignment1.tex +++ b/Assignment1/assignment1.tex @@ -78,8 +78,10 @@ \newif\ifchangebar\changebarfalse \let\oldcbend\cbend \def\cbend{\oldcbend\changebarfalse} -\newcommand{\erin}{\ifchangebar\cbend\fi\cbcolor{yellow}\cbstart\changebartrue} -\newcommand{\camil}{\ifchangebar\cbend\fi\cbcolor{red}\cbstart\changebartrue} +\newcommand{\changechangebar}[2][2pt]{\ifchangebar\cbend\fi\cbcolor{#2}\cbstart[#1]\changebartrue} +\newcommand{\erin}{\changechangebar{yellow}} +\newcommand{\camil}{\changechangebar{red}} +\newcommand{\both}{\changechangebar[1pt]{orange}} \renewcommand*{\arraystretch}{1.3} @@ -103,6 +105,7 @@ \begin{document} +\both \maketitle \setcounter{section}{5} @@ -111,7 +114,6 @@ \input{intro} \input{syntax} \input{semantics} -\input{specifying-properties} \input{equivalence} \input{conversion} %TODO: (Section?) Assess if PLTL is actually more succinct using the examples from the SSH Paper @@ -121,16 +123,17 @@ \input{bibliographic-notes} \input{exercises} +\both \printbibliography \section*{Contribution} %TODO: Like we are some immature group of children, we have to provide proof of contribution -\camil Erin has started writing the text. This text was then copy-edited, slightly corrected where needed and expanded by Camil. (The result was then copy-edited, slightly corrected where needed and expanded by Erin. The result was then copy-edited, slightly corrected where needed and expanded by Camil.)$^\omega$ In the above, yellow bars indicate content primarily contributed by Erin, whereas red bars indicate content primarily contributed by Camil. +Thin orange bars indicate material that cannot be attributed to either. Unfortunately, disabilities of the \textsf{changebar} package make it impossible to indicate the fine-grainedness of our redaction process. \cbend |