equal
deleted
inserted
replaced
397 \end{ttbox} |
397 \end{ttbox} |
398 |
398 |
399 \smallskip Build some session images with cleanup of their |
399 \smallskip Build some session images with cleanup of their |
400 descendants, while retaining their ancestry: |
400 descendants, while retaining their ancestry: |
401 \begin{ttbox} |
401 \begin{ttbox} |
402 isabelle build -b -c HOL-Boogie HOL-SPARK |
402 isabelle build -b -c HOL-Algebra HOL-Word |
403 \end{ttbox} |
403 \end{ttbox} |
404 |
404 |
405 \smallskip Clean all sessions without building anything: |
405 \smallskip Clean all sessions without building anything: |
406 \begin{ttbox} |
406 \begin{ttbox} |
407 isabelle build -a -n -c |
407 isabelle build -a -n -c |