stan-dev/stan-mode — pull request #11 by jrnold (2014-04-13 06:32:12+00:00)
Title: Merge develop

Do not bump version number, this is just to add copyright dates.