started adapting backend to dotty symbols, denotations, etc#11
Merged
magarciaEPFL merged 1 commit intoscala:backendfrom Feb 12, 2014
lrytz:backendWip
Merged
started adapting backend to dotty symbols, denotations, etc#11magarciaEPFL merged 1 commit intoscala:backendfrom lrytz:backendWip
magarciaEPFL merged 1 commit intoscala:backendfrom
lrytz:backendWip
