changeset 54 | fee01b2858a2 |
parent 52 | 78adeef368c1 |
child 64 | b4bcd1edbb6d |
53:8142e80f5d58 | 54:fee01b2858a2 |
---|---|
18 Othe directories are: |
18 Othe directories are: |
19 ===================== |
19 ===================== |
20 |
20 |
21 Slides |
21 Slides |
22 Paper |
22 Paper |
23 Journal |
23 Journal: isabelle build -c -v -d . Journal |
24 Literature |
24 Literature |
25 |
25 |
26 |
26 Test 3 |
27 Just a test line, from XY |
|
28 |
27 |
29 |
28 |
30 |
29 |
31 |
30 |
32 |
31 |
32 |