equal
  deleted
  inserted
  replaced
  
    
    
    19 =====================  | 
    19 =====================  | 
    20   | 
    20   | 
    21   Slides  | 
    21   Slides  | 
    22   Paper  | 
    22   Paper  | 
    23   Journal:     isabelle build -c -v -d . Journal  | 
    23   Journal:     isabelle build -c -v -d . Journal  | 
    24   | 
         | 
    25   Literature  | 
    24   Literature  | 
    26     | 
    25     | 
    27     | 
    26     | 
    28   | 
    27   | 
    29   | 
    28   |