local rm to pull changes
forced commit
New version for AAAI 2014
Merge branch 'master' of https://github.com/orchidproject/Location-game-orchid
Merge branch 'master' of https://github.com/orchidproject/Location-game-orchid
cutting of AtomicOrchid sections
Merge branch '2.0' of https://github.com/orchidproject/Location-game-orchid into 2.0
compressed mmdp & coordination by feng
cut down to 6.5 pages!
more trimming of AO sections
more minor trimming and reformatting
update
Merge branch 'master' of https://github.com/orchidproject/Location-game-orchid into 2.0