Translated Alloy_Command-Line_Interface_Reference.md