equal
deleted
inserted
replaced
415 batch-mode. An Isabelle \bfindex{session} consists of a collection |
415 batch-mode. An Isabelle \bfindex{session} consists of a collection |
416 of source files that may contribute to an output document. Each |
416 of source files that may contribute to an output document. Each |
417 session is derived from a single parent, usually an object-logic |
417 session is derived from a single parent, usually an object-logic |
418 image like \texttt{HOL}. This results in an overall tree structure, |
418 image like \texttt{HOL}. This results in an overall tree structure, |
419 which is reflected by the output location in the file system |
419 which is reflected by the output location in the file system |
420 (usually rooted at \verb,~/.isabelle/browser_info,). |
420 (usually rooted at \verb,~/.isabelle/IsabelleXXXX/browser_info,). |
421 |
421 |
422 \medskip The easiest way to manage Isabelle sessions is via |
422 \medskip The easiest way to manage Isabelle sessions is via |
423 \texttt{isabelle mkdir} (generates an initial session source setup) |
423 \texttt{isabelle mkdir} (generates an initial session source setup) |
424 and \texttt{isabelle make} (run sessions controlled by |
424 and \texttt{isabelle make} (run sessions controlled by |
425 \texttt{IsaMakefile}). For example, a new session |
425 \texttt{IsaMakefile}). For example, a new session |