Commits · 3bc77e0137bfbc0ac80a092da80daaf801454629 · Tej Chajed / iris

Jul 13, 2016
- Update proof mode docs w.r.t. new syntax. · aa81760b
  Robbert Krebbers authored 8 years ago
  
  iris-2.0-rc2
  
  aa81760b
Jul 11, 2016
- ProofMode.md: typos · f511129c
  Ralf Jung authored 8 years ago
  
  f511129c
Jul 05, 2016
- More proof mode docs. · 7e9c378e
  Robbert Krebbers authored 8 years ago
  
  7e9c378e
- And another one. · 1a17276b
  Robbert Krebbers authored 8 years ago
  
  1a17276b
- Fix typo. · 7d30ec04
  Robbert Krebbers authored 8 years ago
  
  7d30ec04
- Fix some spaces/tabs/0 width spaces in the proof mode docs. · 1c814611
  Robbert Krebbers authored 8 years ago
  
  1c814611
- Write some proof mode documentation. · 79d0d5fd
  Robbert Krebbers authored 8 years ago
  
  79d0d5fd
Apr 19, 2016
- copy Robbert's proof mode doc · b2bdf539
  Ralf Jung authored 8 years ago
  
  b2bdf539