equal
deleted
inserted
replaced
377 |
377 |
378 * The command-line tools "isabelle server" and "isabelle client" provide |
378 * The command-line tools "isabelle server" and "isabelle client" provide |
379 access to the Isabelle Server: it supports responsive session management |
379 access to the Isabelle Server: it supports responsive session management |
380 and concurrent use of theories, based on Isabelle/PIDE infrastructure. |
380 and concurrent use of theories, based on Isabelle/PIDE infrastructure. |
381 See also the "system" manual. |
381 See also the "system" manual. |
|
382 |
|
383 * The command-line tool "dump" dumps information from the cumulative |
|
384 PIDE session database: many sessions may be loaded into a given logic |
|
385 image, results from all loaded theories are written to the output |
|
386 directory. |
382 |
387 |
383 * The command-line tool "isabelle update_comments" normalizes formal |
388 * The command-line tool "isabelle update_comments" normalizes formal |
384 comments in outer syntax as follows: \<comment> \<open>text\<close> (whith a single space to |
389 comments in outer syntax as follows: \<comment> \<open>text\<close> (whith a single space to |
385 approximate the appearance in document output). This is more specific |
390 approximate the appearance in document output). This is more specific |
386 than former "isabelle update_cartouches -c": the latter tool option has |
391 than former "isabelle update_cartouches -c": the latter tool option has |