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