Revise installation instructions for Pantograph#15

gilgamesh1111 merged 1 commit intomainLean-zh/lean-zh.github.io:mainfrom

gilgamesh1111-patch-1Lean-zh/lean-zh.github.io:gilgamesh1111-patch-1Copy head branch name to clipboard