diff -r adde5ce1e0a7 -r d7f636331176 NEWS
--- a/NEWS	Sun May 17 22:33:34 2015 +0200
+++ b/NEWS	Sun May 17 23:03:49 2015 +0200
@@ -63,8 +63,9 @@
 by combining existing ones with their usual syntax. The "match" proof
 method provides basic fact/term matching in addition to
 premise/conclusion matching through Subgoal.focus, and binds fact names
-from matches as well as term patterns within matches. See also
-~~/src/HOL/Eisbach/Eisbach.thy and the included examples.
+from matches as well as term patterns within matches. The Isabelle
+documentation provides an entry "eisbach" for the Eisbach User Manual.
+Sources and various examples are in ~~/src/HOL/Eisbach/.
 
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***