For using TXSTEP version January 2016 under Windows,
proceed as follows:


1. Installing TUSTEP

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

- install TUSTEP 2016 by following the instructions
  (a more detailed description you may find - in
  German - at www.tustep.uni-tuebingen.de/inst.html).
  This will create a TUSTEP icon under
  "start" - "programs"
  Clicking on this icon will allow you to define
  start icons for TUSTEP sessions.

- define a start icon for a TUSTEP session by
  clicking on the above mentioned TUSTEP icon and
  fill in the required fields.

  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. 152)

  By clicking to "Einrichten", the start script will
  be created; a further click to "Desktop-Icon" will
  create a desktop icon for this TUSTEP session.


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.bat and log.bat 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

- Using Windows Explorer, open the subdirectory
  txstep\Oxygen_framework; by double-clicking
  txstep.xpr, oXygen Editor will be started with
  the project txstep.

  or:

- 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 a TXSTEP script
as follows (for "c:", 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):

- activate the Windows "START" button,
  chose "execute",
  fill in "c:\txstep\txstep.bat c:\txstep\scripts\xxx.xml"
  press enter or "ok"

  or

- in a DOS command prompt window:
  c:\txstep\txstep c:\txstep\scripts\xxx.xml

  or

- in a TUSTEP session, give the following command:
  #makro
  $$ execute "c:\txstep\txstep.bat c:\txstep\scripts\xxx.xml"
  *eof