diff -r adde5ce1e0a7 -r d7f636331176 doc/Contents
--- a/doc/Contents	Sun May 17 22:33:34 2015 +0200
+++ b/doc/Contents	Sun May 17 23:03:49 2015 +0200
@@ -8,6 +8,7 @@
   codegen         Tutorial on Code Generation
   nitpick         User's Guide to Nitpick
   sledgehammer    User's Guide to Sledgehammer
+  eisbach         The Eisbach User Manual
   sugar           LaTeX Sugar for Isabelle documents
 
 Reference Manuals!