Hi Stewart and everyone, Sorry for answering late, I had to dive into teaching tasks (corrections), and forgot to reply to your two last mails.
It's OK. I had not understood what you meant by the guide. My mind is so VM-oriented these days that I have misinterpreted your statements ;-) On Mon, Mar 12, 2012 at 11:22, stewart mackenzie <setor...@gmail.com> wrote: > in my opinion it would be better to have all the documentation (ie vm > documentation) in one place. simply because it is convenient and also we > have gigs of space made available. github has limited space. wikidot is a > solid wiki with many useful features. but the change is easily done and > currently not an issue. Currently, what I intend to do is keep user documentation (i.e. Oz programmer) on wikidot, and put developer documentation (i.e. C++ programmer) on GitHub, close to the source code. Sébastien
_________________________________________________________________________________ mozart-hackers mailing list mozart-hackers@mozart-oz.org http://www.mozart-oz.org/mailman/listinfo/mozart-hackers
