src/Doc/System/Sessions.thy
changeset 66748 3efac90a11a7
parent 66745 e7ac579b883c
child 66759 918f15c9367a
     1.1 --- a/src/Doc/System/Sessions.thy	Mon Oct 02 13:40:51 2017 +0200
     1.2 +++ b/src/Doc/System/Sessions.thy	Mon Oct 02 13:45:36 2017 +0200
     1.3 @@ -417,6 +417,14 @@
     1.4    @{verbatim [display] \<open>isabelle build -b -g main\<close>}
     1.5  
     1.6    \<^smallskip>
     1.7 +  Build all descendants (and requirements) of \<^verbatim>\<open>FOL\<close> and \<^verbatim>\<open>ZF\<close>:
     1.8 +  @{verbatim [display] \<open>isabelle build -B FOL -B ZF\<close>}
     1.9 +
    1.10 +  \<^smallskip>
    1.11 +  Build all sessions where sources have changed (ignoring heaps):
    1.12 +  @{verbatim [display] \<open>isabelle build -a -S\<close>}
    1.13 +
    1.14 +  \<^smallskip>
    1.15    Provide a general overview of the status of all Isabelle sessions, without
    1.16    building anything:
    1.17    @{verbatim [display] \<open>isabelle build -a -n -v\<close>}