changeset 50 | 38ad30559775 |
parent 47 | 2e6c8d530216 |
child 51 | d462d449505f |
49:8679d75b1d76 | 50:38ad30559775 |
---|---|
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 |
|
24 Literature |
25 Literature |
25 |
26 |
26 |
27 |
27 Just a test line, from XY |
|
28 |
28 |
29 |
29 |
30 |
30 |
31 |
31 |
32 |
32 |
33 |