README
changeset 147 f4db1ce7df3c
parent 146 2d66c0b0bacf
child 148 c63dd8b1231c
equal deleted inserted replaced
146:2d66c0b0bacf 147:f4db1ce7df3c
    23   Slides
    23   Slides
    24   Paper
    24   Paper
    25   Journal:     isabelle build -c -v -d . Journal
    25   Journal:     isabelle build -c -v -d . Journal
    26   Literature
    26   Literature
    27   
    27   
    28 Test 4
    28 Test 5
    29 
    29 
    30 
    30 
    31 
    31 
    32 
    32 
    33 
    33