equal
deleted
inserted
replaced
12 \begin{center} |
12 \begin{center} |
13 @{text "isabelle make"} |
13 @{text "isabelle make"} |
14 \end{center} |
14 \end{center} |
15 |
15 |
16 You very likely need a recent snapshot of Isabelle in order to compile |
16 You very likely need a recent snapshot of Isabelle in order to compile |
17 the Cookbook. |
17 the Cookbook. Some parts of the Cookbook also rely on compilation with |
|
18 PolyML. |
18 |
19 |
19 \item You can include references to other Isabelle manuals using the |
20 \item You can include references to other Isabelle manuals using the |
20 reference names from those manuals. To do this the following |
21 reference names from those manuals. To do this the following |
21 four \LaTeX{} commands are defined: |
22 four \LaTeX{} commands are defined: |
22 |
23 |