--- a/src/Doc/ROOT Tue Jun 17 22:00:25 2014 +0200 +++ b/src/Doc/ROOT Tue Jun 17 22:18:18 2014 +0200 @@ -186,6 +186,7 @@ "popup1.png" "popup2.png" "root.tex" + "sidekick.png" "sledgehammer.png" session Sugar (doc) in "Sugar" = HOL +