proofgeneral 3.5-3 - en to vi translation catalogue (4 entries)

note: Description
en: Should Proof General be auto-loaded by default at your site?
vi: Tại nơi bạn, có nên tự động tải trình Proof General theo mặc định không?

note: Description
en: If you want to auto-load Proof General at your site, you should accept here.
vi: Nếu bạn muốn tự động tải trình Proof General tại nơi bạn thì hãy chấp nhận tùy chọn này.

note: Description
en: If you accept, Proof General is loaded globally, i.e. all people in your site can use Proof General at any time in their Emacs or XEmacs without special settings in their "~/.emacs".
vi: Nếu bạn chấp nhận thì trình Proof General được tải một cách toàn cục, tức là mọi người tại nơi bạn có thể sử dụng trình Proof General vào bất cứ lúc nào, trong trình Emacs hay XEmacs, không cần thiết lập đặc biệt trong tập tin «~/.emacs» của họ.

note: Description
en: If you refuse, people who desire to use it will have to either edit "~/.emacs" or start a Proof General session explicitly with the proofgeneral command.
vi: Nếu bạn từ chối thì mọi người muốn sử dụng trình Proof General sẽ cần phải hoặc hiệu chỉnh tập tin  «~/.emacs» hoặc khởi chạy một phiên Proof General một cách dứt khoát, dùng lệnh «proofgeneral».
