| changeset 265 | d36be1e356c0 |
| parent 218 | 16af5b8bd285 |
| child 308 | 496a37d816e9 |
| 264:e2828c4a1e23 | 265:d36be1e356c0 |
|---|---|
10 |
10 |
11 isabelle build -c -v -d . Paper |
11 isabelle build -c -v -d . Paper |
12 |
12 |
13 isabelle build -c -v -d . Journal |
13 isabelle build -c -v -d . Journal |
14 |
14 |
15 Othe directories are: |
15 Other directories are: |
16 ===================== |
16 ===================== |
17 |
17 |
18 Paper |
18 Paper |
19 Journal |
|
19 Literature |
20 Literature |
20 |
21 |
21 |
22 |
22 |
23 |
23 |
24 |