===========================================================================

INSTALLATION NOTES:

To Install the Minlog Mode for Proof General follow these steps:

1. Compile the minlog part of proof general by running
the shell-command "make" in the directory "/proofgeneral/minlog". 

2. Set the following paths:

2.1 The path of Proof General:
    In the file "proofgeneral/bin/proofgeneral"
    set the path-variable "PGHOME" to match the path of your personal 
    installation of proofgeneral (f.e. "PGHOME=~/proofgeneral").

2.2 The path of Minlog: 
    That is,
    - launch proofgeneral (e.g. ~/proofgeneral/bin/proofgeneral)
    - load some minlog file (e.g. ~/minlog/examples/tutorial.scm)
    - go in Proof General's menu:
      "Proof General -> Advanced... -> Customize -> Minlog -> Minlog Path..."
      and set the path to your personal installation path of Minlog. 
    - Then click on the buttons 'Save for Further Sessions' and then 'Finish',
      which are placed within the text. 
    - restart your Proof General to make the changes effective.
    - It is helpful to activate the 'three pane' mode by default:
      "Proof General -> Options -> Display -> Use Three Panes"
      (You might need to save this option to make it persistent for further
      sessions: "Proof General -> Options -> Save Options")


Have fun! :)

=============================================================================