ohmage/gwt-front-end — pull request #305 by stevenolen (2013-11-18 21:44:49+00:00)
Title: change UI element names on document tab to better reflect shown content

See issue #304