These are chat archives for
Sign in to start talking
Mozart Programming System v2
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 :-).
Mar 22 2015 16:14 UTC
Okay, announcement done! (Neat feature by typing s/typor/typo/ you can correct typos in previous messages.