
PAPYRUS requires the following enviroment:
System memory 8MB
OS Version    Simpos 7.0 -

How to install.

 1. Extract the files from "sources.tar".
 2. Create the directory the following directories.
          demo -|- BUFFER
                |- CC
                |- DATA_BASE
                |- EDITOR
                |- EXT
                |- FONT
                |- INIT_FILE
                |- LEMMA_LIB
                |- MACRO
                |- ML
                |- PACKAGE
                |- PROVER
                |- P_TERM -|- KL1
                |          |- ESP
                |          |- KL1_SAV
                |- RULE
                |- TOP
                |- TREE
                |- TYPE
                |- UTILITY
 3. Copy the files which were extracted into these directories.
    Remark, the files in the directories "PACAKGE" and "KL1_SAV",
    do not need the character code conversion.
   
 4. Make a librarian window.

 5. Load package files in the directory "PACKAGE" using the 
    librarian window, the load operations are as follows.

        Select items on librarian window:
        "Package" -> "Other command" -> "Load one package"
        and input the file names.

 6. Save all classes using the librarian window.

 7. Add the following lines to "login.com":
  
      define :- "demo" := [ "me:demo" ].
      package:- papyrus.

    and add item_list of system menu,  {"PAPYRUS", papyrus}.

 8. Copy all font files in the directory "FONT" into the 
    directory ">sys>font".

 9. Relogin, and select "PAPYRUS" from the system menu, then
    PAPYRUS sytem will start.


 If you use the logic mu, and want to execute a program which
 is extracted from the proof of logic mu, then you must do the 
 following operations.

 1. Start PIMOS.

 2. Input the following commands on the PIMOS shell.

       cd "demo>KL1_SAV"
       load("plib")
       load("papyrus")
       listener &

 3. Input the following comand on the PIMOS listener.
 
       program_executor.

