20130810 
Ian Jackson  notation: clarify >= 
blob  commitdiff 
20130804 
Ian Jackson  notation: fixes from paper markup of 389264b 
blob  commitdiff  diff to current 
20130804 
Ian Jackson  notation: clarify git merge notations 
blob  commitdiff  diff to current 
20120712 
Ian Jackson  notation: fixes from annotations 
blob  commitdiff  diff to current 
20120707 
Ian Jackson  notation: use \commitmergename in its definition text... 
blob  commitdiff  diff to current 
20120707 
Ian Jackson  notation: define \commitmergeof in terms of \stmtmergeof 
blob  commitdiff  diff to current 
20120707 
Ian Jackson  notation: define \stmtmergeof and \setmergeof 
blob  commitdiff  diff to current 
20120707 
Ian Jackson  internal notation: rename \merge and \mergeof to \commi... 
blob  commitdiff  diff to current 
20120527 
Ian Jackson  foreign notation: make \foreign into a set 
blob  commitdiff  diff to current 
20120527 
Ian Jackson  foreign notation: change \bot to \foreign everywhere 
blob  commitdiff  diff to current 
20120427 
Ian Jackson  strategy: use \chapter 
blob  commitdiff  diff to current 
20120327 
Ian Jackson  comments from mdw  add note re universal quantification 
blob  commitdiff  diff to current 
20120327 
Ian Jackson  comments from mdw  add section on \set to notation 
blob  commitdiff  diff to current 
20120327 
Ian Jackson  comments from mdw  clarify that \p are disjoint by... 
blob  commitdiff  diff to current 
20120325 
Ian Jackson  commentary about exhaustiveness 
blob  commitdiff  diff to current 
20120321 
Ian Jackson  wip exclusive haspatch  change notation to F in defn 
blob  commitdiff  diff to current 
20120321 
Ian Jackson  wip exclusive haspatch  reorder notation 
blob  commitdiff  diff to current 
20120320 
Ian Jackson  wip exclusive haspatch  notation 
blob  commitdiff  diff to current 
20120316 
Ian Jackson  add note about nonexclusivity of \haspatch and \nothas... 
blob  commitdiff  diff to current 
20120316 
Ian Jackson  split into multiple source files 
blob  commitdiff  diff to current 
