diff --git a/Lectures/L11_VnVPresent1/VnVPresent1.pdf b/Lectures/L11_VnVPresent1/VnVPresent1.pdf new file mode 100644 index 0000000000000000000000000000000000000000..b7a559b989fd3b1e1390783adbf93cec985863da Binary files /dev/null and b/Lectures/L11_VnVPresent1/VnVPresent1.pdf differ diff --git a/Lectures/L12_VnVPresent2/VnVPresent2.pdf b/Lectures/L12_VnVPresent2/VnVPresent2.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f5f7709991ce0a1124edd6f2660411595642684a Binary files /dev/null and b/Lectures/L12_VnVPresent2/VnVPresent2.pdf differ diff --git a/Lectures/L13_ModularDesign/ModularDesign.tex b/Lectures/L13_ModularDesign/ModularDesign.tex index d77c64c6d205887133eb2112ff00392917995a46..1a42ac7e48a5c242e1d938e4d4afb16772adac8a 100755 --- a/Lectures/L13_ModularDesign/ModularDesign.tex +++ b/Lectures/L13_ModularDesign/ModularDesign.tex @@ -56,6 +56,9 @@ \bi \item GitHub issues for colleagues +\bi +\item When closing issues give the hash for the corresponding commit +\ei \ei \end{frame}