For using TXSTEP version February 2017 under Windows, proceed as follows: 1. Installing TUSTEP - Download the actual version of TUSTEP from the tustep homepage www.tustep.uni-tuebingen.de - install TUSTEP by following the instructions (a more detailed description you may find - in German - at www.tustep.uni-tuebingen.de/inst.html). - define a TUSTEP session, as described under "Aufruf von TUSTEP unter Windows" in the description mentioned above, by filling 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 and running TXSTEP - Download TXSTEP from the tustep homepage. - unzip the file txstep_1702.zip to the directory which you specified for TUSTEP_DSK when defining the TUSTEP session mentioned above. - Start the TUSTEP session described above. In the line "Gib Kommando >" give the following commands: #anmelde, txstep_inst (and press ENTER) #makro, txstep_inst (and press ENTER) This creates the files txstep.bat, log.bat, par_syntax.bat and encoding.bat in the directory txstep; in addition, the path names used in the script files which contain the solutions for the exercises are adjusted. - 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. The solutions for the exercises are found in subdirectory txstep\scripts. When you open one of these scripts in the oXygen editor, you may run it by clicking at "txstep" in the External Tools drop-down menu in the toolbar. Clicking at "txstep.logfile", the journal file containing the created TUSTEP commands and messages will be shown. ----------- 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