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