For testing the TXSTEP version January 2016 under Mac OS,
proceed as follows:


1. Installing TUSTEP

- Download TUSTEP 2016 from the tustep homepage
  www.tustep.uni-tuebingen.de

- install iTerm which is licensed under GPL v2 and
  may be downloaded from www.iterm2.com

- install TUSTEP 2016 by following the instructions
  available - presently in German only - at
  www.tustep.uni-tuebingen.de/inst.html.

- define a TUSTEP session by clicking at TUSTEP in
  the launchpad or double clicking at TUSTEP.app
  in the finder, as described in the installation
  instructions.

  By Clicking on "ok" in the window shown, a further
  window will open with details for the session to
  be defined.

  Under TUSTEP_DSK, you will be asked to enter a
  path name, e.g. ~/projects
  Fill in there the name of the path where you want
  TXSTEP to be installed.

  Under TUSTEP_PRJ, you will be asked to enter a
  project name. Fill in there "txstep" (without
  quotation marks).

  Under TUSTEP_MEM, give a unique 3-digit number for
  this session (e.g. 148)

  By clicking at "Einrichten", the respective TUSTEP
  sessin will be defined; then click at "Beenden"
  to close the window.


2. Installing TXSTEP

- Download TXSTEP from the tustep homepage.

- unzip the file txstep_1601.zip to the directory which you
  specified for TUSTEP_DSK when defining the TUSTEP session
  mentioned above.

- Start a TUSTEP session by clicking at the session icon
  which has been created when defining the respective
  TUSTEP session

- At the right of "Gib Kommando >"  give the following commands:

   #anmelde, txstep_inst    (and press ENTER)
   #makro, txstep_inst      (and press ENTER)

  This creates the files txstep and log in the directory
  txstep which has been created when unzipping txstep_1601.zip;
  txstep and log will be needed for executing a txstep script
  from the oXygen editor and for showing the tustep log file.
  In addition, the path names for the script files containing
  the solutions for the exercises are adjusted.


3. Running TXSTEP
- Start the Oxygen-Editor: click to "Project" in the
  toolbar and to "Open Project..." and select the file
  txstep/Oxygen_framework/txstep.xpr; a click to
  "Open" will activate the project txstep.

If Oxygen is not available, you may run the TXSTEP script
as follows (for "....", give the path name specified for
TUSTEP_DSK, as described above, and replace "xxx.xml"
by the name of the TXSTEP script you want to run):


- in a terminal or iTerm window, change to the directory
  specified for TUSTEP_DSK, and enter

  /txstep/txstep script

  (where for "script" the complete path for the respective
  script must be specified)

  or

- in a TUSTEP session, give the following command:

  #makro
  $$ execute "..../txstep/txstep script"
  *eof

  (where for "script" the complete path for the respective
  script must be specified)