equal
deleted
inserted
replaced
415 \<^smallskip> |
415 \<^smallskip> |
416 Build the main group of logic images: |
416 Build the main group of logic images: |
417 @{verbatim [display] \<open>isabelle build -b -g main\<close>} |
417 @{verbatim [display] \<open>isabelle build -b -g main\<close>} |
418 |
418 |
419 \<^smallskip> |
419 \<^smallskip> |
|
420 Build all descendants (and requirements) of \<^verbatim>\<open>FOL\<close> and \<^verbatim>\<open>ZF\<close>: |
|
421 @{verbatim [display] \<open>isabelle build -B FOL -B ZF\<close>} |
|
422 |
|
423 \<^smallskip> |
|
424 Build all sessions where sources have changed (ignoring heaps): |
|
425 @{verbatim [display] \<open>isabelle build -a -S\<close>} |
|
426 |
|
427 \<^smallskip> |
420 Provide a general overview of the status of all Isabelle sessions, without |
428 Provide a general overview of the status of all Isabelle sessions, without |
421 building anything: |
429 building anything: |
422 @{verbatim [display] \<open>isabelle build -a -n -v\<close>} |
430 @{verbatim [display] \<open>isabelle build -a -n -v\<close>} |
423 |
431 |
424 \<^smallskip> |
432 \<^smallskip> |