The user can specialize various aspects of this editor by writing some files in ~/nuprl-home/. These files, if they exist, are loaded, in the order they are listed below, when Nuprl is started with the first evaluation in LISP of (nuprl).

~/nuprl-home/nuprl_init

should contain an ML expression to be executed when session is started.

To review the contents of this file:

REVIEW

~/nuprl-home/main_menu

should contain as its single object the user's main menu, if it is to differ from the default. To save your current one after updating, posting, and closing: SAVE main menu

~/nuprl-home/kbd

should contain the objects defining the user's keyboard command binding set. You can change these bindings by doing a command review via the button CmdReview. The current collection can be saved by clicking on the following button: SAVE kbd cmds

~/nuprl-home/redisplay

should contain the user's preferred versions of DISP objects to be used instead of those coming from the files he has loaded or plans to load.

You can move a DISP object into this set with this button:

Move DISP to Redisplay Area.

You can save the current set to this file with this button:

SAVE redisplay objects. ;;

~/nuprl-home/omit_as_cascade_ancestors_init

should indicate the user's preference for which operators should initially be omitted from definition cascades. You can save the current preference with this button: SAVE omissions

~/nuprl-home/thm_viewing_method_init

should indicate the user's default preference for viewing THM objects. You can save the current preference with this button: SAVE THM viewing preference ;;

~/nuprl-home/overwriting_init_load

should contain objects the user wants to load at startup, even overwriting previously loaded objects. Restraint is advised. Here is a button that will raise a worksheet for you to fill in: Set Initial Overwrites

~/nuprl-home/users_edit_cmd_defs

should contain an ML expr defining user-defined edit commands.

To review the contents of this file:

REVIEW