git pull
changed orderingrules.tex
Merge branch 'master' of github.com:RevLogic/GA