| changeset 218 | 16af5b8bd285 |
| parent 185 | 841f7b9c0a6a |
| child 265 | d36be1e356c0 |
| 217:47179a172c54 | 218:16af5b8bd285 |
|---|---|
7 The repository can be checked using Isabelle 2016. |
7 The repository can be checked using Isabelle 2016. |
8 |
8 |
9 isabelle build -c -v -d . Lex |
9 isabelle build -c -v -d . Lex |
10 |
10 |
11 isabelle build -c -v -d . Paper |
11 isabelle build -c -v -d . Paper |
12 |
|
13 isabelle build -c -v -d . Journal |
|
12 |
14 |
13 Othe directories are: |
15 Othe directories are: |
14 ===================== |
16 ===================== |
15 |
17 |
16 Paper |
18 Paper |