equal
deleted
inserted
replaced
544 Incremental update of theory imports for some project directory: |
544 Incremental update of theory imports for some project directory: |
545 @{verbatim [display] \<open>isabelle imports -U -i -D 'some/where/My_Project'\<close>} |
545 @{verbatim [display] \<open>isabelle imports -U -i -D 'some/where/My_Project'\<close>} |
546 \<close> |
546 \<close> |
547 |
547 |
548 |
548 |
549 section \<open>Retrieve theory exports\<close> |
549 section \<open>Retrieve theory exports \label{sec:tool-export}\<close> |
550 |
550 |
551 text \<open> |
551 text \<open> |
552 The @{tool_def "export"} tool retrieves theory exports from the session |
552 The @{tool_def "export"} tool retrieves theory exports from the session |
553 database. Its command-line usage is: @{verbatim [display] |
553 database. Its command-line usage is: @{verbatim [display] |
554 \<open>Usage: isabelle export [OPTIONS] SESSION |
554 \<open>Usage: isabelle export [OPTIONS] SESSION |