These are chat archives for mozart/mozart2

Mar 2015
Peter Van Roy
Mar 22 2015 14:02 UTC
Ok, I get it, it helps working with github.
You should announce it on the mozart-users group
Hi Chris, I didn't know you were doing stuff with Mozart :-).
Stewart Mackenzie
Mar 22 2015 16:14 UTC
Okay, announcement done! (Neat feature by typing s/typor/typo/ you can correct typos in previous messages.