Xiao Jia

@dsully Are you still working on this?

The website at naive.systems is out of date. We will publish an updated version along with more information.

Thanks for your patch. Right now docker builds are not officially supported. We are working on a new build and release pipeline from scratch. I will leave this PR open...

缩进调整一下吧

把缩进调整好，不要用 tab 字符，一律用空格。 不要修改 flourish 的内容。

你好像没有理解我的意思 我的意思是，输入用户名、密码的两个框，不是直接显示出来的，是点了相应的按钮弹出来的 这样的目的是为了区分登录和注册，不然很多人一开始无法理解如何注册 On Tue, Dec 25, 2012 at 5:49 PM, sjtufs [email protected] wrote: > ## 修改了header中和login中的按钮 > > You can merge this Pull Request by running: > > git...

嗯，但是具体的规则我还没有想好。比如哪些人可以看到讨论，哪些人可以参与讨论，等等。如果可能的话，我觉得可以模仿 StackOverflow 的机制。这件事情是一个长期的事情，暂时还不急。

Will try to enable Pascal and Python in the near future.