ListKnownTheoriesListObsOfFile
LoadFileOfObjects
ScanFileOfObjects
LoadTermFromFile
LoadTextFromFile
WWW
LoadMLfromTextFile
EvalTermOfFile
CompareFileOfObjects
FindLoadDir
ListAllLoadDirs
DumpTerm
DumpMLexpression
DumpObjects
PrintObSet
Advisory Notes:
FileNameTips PrintingObjects MakingLatexArticles
Other I/O related menus:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.htmlSNAPs Theories Saving&Recovery Tailor this Editor Printing Editor Doc