equal
deleted
inserted
replaced
470 |
470 |
471 * Command-line tool "isabelle build" supports new options: |
471 * Command-line tool "isabelle build" supports new options: |
472 - option -B NAME: include session NAME and all descendants |
472 - option -B NAME: include session NAME and all descendants |
473 - option -S: only observe changes of sources, not heap images |
473 - option -S: only observe changes of sources, not heap images |
474 - option -f: forces a fresh build |
474 - option -f: forces a fresh build |
|
475 |
|
476 * Command-line tool "isabelle build" options -c -x -B refer to |
|
477 descendants wrt. the session parent or import graph. Subtle |
|
478 INCOMPATIBILITY: options -c -x used to refer to the session parent graph |
|
479 only. |
475 |
480 |
476 * Command-line tool "isabelle build" takes "condition" options with the |
481 * Command-line tool "isabelle build" takes "condition" options with the |
477 corresponding environment values into account, when determining the |
482 corresponding environment values into account, when determining the |
478 up-to-date status of a session. |
483 up-to-date status of a session. |
479 |
484 |