Commits · e262cd8e901430e574bb2ee6dcd90b9bed77ccfa · Gaëtan Gilbert / Iris

Jun 14, 2019
- note that observations are observable events · e262cd8e
  Ralf Jung authored 5 years ago
  
  e262cd8e
Jun 06, 2019
- describe observations in appendix · fc0a0cc9
  Ralf Jung authored 5 years ago
  
  fc0a0cc9
Dec 12, 2017
- docs: WP stuckness · 9647cb87
  Ralf Jung authored 7 years ago
  
  9647cb87
Dec 10, 2017
- fix captialization · d31256c0
  Ralf Jung authored 7 years ago
  
  d31256c0
Feb 02, 2017
- docs: fix typos pointed out by Jeehoon · c8ae55b1
  Ralf Jung authored 8 years ago
  
  c8ae55b1
Dec 12, 2016
- docs: update atomicity · 8b008be4
  Ralf Jung authored 8 years ago
  
  8b008be4
Oct 21, 2016
- docs: update to latest changes in Coq development · 7ed64c7c
  Ralf Jung authored 8 years ago
  
  7ed64c7c
Oct 17, 2016
- Define \List macro and use the more commonly used \vec for denoting lists. · 68aead2a
  Robbert Krebbers authored 8 years ago
  
  68aead2a
- Make better use of \Val, \State, \Expr macros. · e018e3b1
  Robbert Krebbers authored 8 years ago
  
  e018e3b1
- Move language section to its own file. · 2af75e62
  Robbert Krebbers authored 8 years ago
  
  2af75e62