Rhu1/rhu1 pr tidying#54

Merged

rhu1 merged 3 commits into

rhu1/rhu1-prfrom

rhu1/rhu1-pr-tidying

Jul 16, 2015

Commits on Jul 16, 2015

Renamed Scribble2.g to Scribble.g. Renamed org.scribble.parser.ScribbleParser to ScribParser to avoid name clash with ANTLR generated parser.
Ray Hu
committed
Minor. Push test.
Ray Hu
committed
Merge pull request #53 from rhu1/rhu1/rhu1-pr-tidying
rhu1
committed