changeset 54445 | ae9d8de3fe86 |
parent 54347 | d5589530f3ba |
child 54703 | 499f92dc6e45 |
--- 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: