deletions | additions       diff --git a/layout.md b/layout.md  index fbad2af..0dbb55a 100644  --- a/layout.md  +++ b/layout.md 
...
introduction.tex  description.tex  pseudocode.tex  proof a.tex proof-b.tex