proofgeneral - en to vi translation catalogue (4 entries)

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
vi: Có nên tự động nạp Proof General theo mặc định không?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
vi: Muốn tự động nạp phần mềm Proof General trên máy này nên bật tùy chọn này.

note: Type: boolean Description
en: If you do so, it will be loaded globally and all local users will be able to use it with Emacs or XEmacs, without special settings in their personal configuration file.
vi: Bật tùy chọn này thì Proof General sẽ được nạp toàn cục: mọi người dùng đều có khả năng sử dụng nó với Emacs hay XEmacs, không cần thiết lập đặc biệt trong tập tin cấu hình riêng.

note: Type: boolean Description
en: If you don't choose this option, users will need to activate it from their personal settings for Emacs or XEmacs, or start it explicitly with the 'proofgeneral' command.
vi: Không bật tùy chọn này thì mỗi người dùng cần phải kích hoạt nó một cách riêng từ thiết lập cá nhân cho Emacs hay XEmacs, hoặc tự khởi chạy nó bằng lệnh « proofgeneral ».
