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