README
changeset 149 5a693e176c06
parent 148 c63dd8b1231c
child 150 32f23c969f82
equal deleted inserted replaced
148:c63dd8b1231c 149:5a693e176c06
    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 6
    28 Test 7
    29 
    29 
    30 
    30 
    31 
    31 
    32 
    32 
    33 
    33