proofgeneral - en to nl translation catalogue (4 entries)

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
nl: Wilt u dat Proof General automatisch geladen wordt?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
nl: Als u wilt dat Proof General automatisch geladen wordt op deze machine dient u dit te aanvaarden.

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.
nl: Als u dit aanvaardt wordt Proof General globaal geladen waardoor alle lokale gebruikers er gebruik van kunnen maken in Emacs en XEmacs zonder hiervoor speciale instellingen in hun persoonlijk configuratiebestand te hebben.

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.
nl: Als u hier weigert zullen gebruikers of Proof General via hun persoonlijke instellingen voor Emacs of XEmacs moeten activeren, of Proof General expliciet starten via het commando 'proofgeneral'.
