It's a sensible choice to take legal principle as the formalsource of the law of our country.
法理作为我国法律的正式渊源，是基于现实的明智选择。
2
Historically, there never was a formalsource code management or revision control system for the Linux kernel.
历史上，从来没有出现过用于Linux内核的正式的源代码管理或修正控制系统。
3
The informal source of law is a supplementary to the formalsource of law, it can be used only in the position that there are no law, law interpretation and judicial interpretation.