src/Doc/System/Sessions.thy
changeset 66745 e7ac579b883c
parent 66737 2edc0c42c883
child 66748 3efac90a11a7
     1.1 --- a/src/Doc/System/Sessions.thy	Sun Oct 01 20:50:26 2017 +0200
     1.2 +++ b/src/Doc/System/Sessions.thy	Mon Oct 02 11:43:17 2017 +0200
     1.3 @@ -284,6 +284,7 @@
     1.4      -D DIR       include session directory and select its sessions
     1.5      -N           cyclic shuffling of NUMA CPU nodes (performance tuning)
     1.6      -R           operate on requirements of selected sessions
     1.7 +    -S           soft build: only observe changes of sources, not heap images
     1.8      -X NAME      exclude sessions from group NAME and all descendants
     1.9      -a           select all sessions
    1.10      -b           build heap images
    1.11 @@ -350,6 +351,11 @@
    1.12    in the given directories.
    1.13  
    1.14    \<^medskip>
    1.15 +  Option \<^verbatim>\<open>-S\<close> indicates a ``soft build'': the selection is restricted to
    1.16 +  those sessions that have changed sources (according to actually imported
    1.17 +  theories). The status of heap images is ignored.
    1.18 +
    1.19 +  \<^medskip>
    1.20    The build process depends on additional options
    1.21    (\secref{sec:system-options}) that are passed to the prover eventually. The
    1.22    settings variable @{setting_ref ISABELLE_BUILD_OPTIONS} allows to provide