author | wenzelm |
Sat, 16 Nov 2013 13:07:38 +0100 | |
changeset 54445 | ae9d8de3fe86 |
parent 54444 | a2290f36d1d6 |
child 54446 | 31884c67d73a |
--- 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: