equal
deleted
inserted
replaced
19 ===================== |
19 ===================== |
20 |
20 |
21 Slides |
21 Slides |
22 Paper |
22 Paper |
23 Journal: isabelle build -c -v -d . Journal |
23 Journal: isabelle build -c -v -d . Journal |
24 |
|
25 Literature |
24 Literature |
26 |
25 |
27 |
26 |
28 |
27 |
29 |
28 |