doc/Contents
changeset 60288 d7f636331176
parent 56426 ad83657a3f93
child 62362 e4119d366ab0
     1.1 --- a/doc/Contents	Sun May 17 22:33:34 2015 +0200
     1.2 +++ b/doc/Contents	Sun May 17 23:03:49 2015 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4    codegen         Tutorial on Code Generation
     1.5    nitpick         User's Guide to Nitpick
     1.6    sledgehammer    User's Guide to Sledgehammer
     1.7 +  eisbach         The Eisbach User Manual
     1.8    sugar           LaTeX Sugar for Isabelle documents
     1.9  
    1.10  Reference Manuals!