# HG changeset patch
# User wenzelm
# Date 1384603658 -3600
# Node ID ae9d8de3fe86fd60b79c4a24db59fb2d49b470dd
# Parent  a2290f36d1d65a030fc999eb2b575d52945e5bbb
updated example;

diff -r a2290f36d1d6 -r ae9d8de3fe86 src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Sat Nov 16 12:41:16 2013 +0100
+++ b/src/Doc/System/Sessions.thy	Sat Nov 16 13:07:38 2013 +0100
@@ -399,7 +399,7 @@
   \smallskip Build some session images with cleanup of their
   descendants, while retaining their ancestry:
 \begin{ttbox}
-isabelle build -b -c HOL-Boogie HOL-SPARK
+isabelle build -b -c HOL-Algebra HOL-Word
 \end{ttbox}
 
   \smallskip Clean all sessions without building anything: