equal
deleted
inserted
replaced
|
1 |
1 Isabelle NEWS -- history user-relevant changes |
2 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
3 ============================================== |
3 |
4 |
4 New in Isabelle2002 (January 2002) |
5 New in Isabelle2002 (January 2002) |
5 ---------------------------------- |
6 ---------------------------------- |
7 *** Document preparation *** |
8 *** Document preparation *** |
8 |
9 |
9 * greatly simplified document preparation setup, including more |
10 * greatly simplified document preparation setup, including more |
10 graceful interpretation of isatool usedir -i/-d/-D options, and more |
11 graceful interpretation of isatool usedir -i/-d/-D options, and more |
11 instructive isatool mkdir; users should basically be able to get |
12 instructive isatool mkdir; users should basically be able to get |
12 started with "isatool mkdir Test && isatool make"; |
13 started with "isatool mkdir HOL Test && isatool make"; alternatively, |
|
14 users may run a separate document processing stage manually like this: |
|
15 "isatool usedir -D output HOL Test && isatool document Test/output"; |
13 |
16 |
14 * theory dependency graph may now be incorporated into documents; |
17 * theory dependency graph may now be incorporated into documents; |
15 isatool usedir -g true will produce session_graph.eps/.pdf for use |
18 isatool usedir -g true will produce session_graph.eps/.pdf for use |
16 with \includegraphics of LaTeX; |
19 with \includegraphics of LaTeX; |
17 |
20 |