Short:    MUI user interface for PasTeX
Author:   Mathias Schulze, Jakob-Locher-Str. 16, 66482 Zweibrücken
Uploader: mschuh@student.uni-kl.de (Martin Schuh)
Version:  1.2
Type:     text/tex
Replaces: text/tex/DoTeX11.lha
Requires: MUI, PasTeX

DoTeX is a MUI user interface for VirTeX, ShowDVI and DVIPrint.
To install DoTeX just create the directory "ENVARC:DoTeX" and copy DoTeX to
"TEX:bin".
To find out the possible Shell parameters for DoTeX type "DoTeX ?".
To make DoTeX start from GoldED use the provided arexx script and toolbar
icons. If DoTeX is not in "TEX:bin" the arexx script has to be modified.
DoTeX loads its settings from the specified settings file or if none specified
from the default settings file "ENV:DoTeX/Default.settings" when it is started,
and saves its settings to this default settings file when it is quitted.
If you use DoTeX, please drop a mail.


============================= Archive contents =============================

Original  Packed Ratio    Date     Time    Name
-------- ------- ----- --------- --------  -------------
   34708   14805 57.3% 20-Apr-97 19:16:12  DoTeX
     119      71 40.3% 07-Apr-97 21:03:36 +Default.settings
     822     443 46.1% 07-Apr-97 16:55:28 +dotex.ged
     252     124 50.7% 07-Feb-97 23:26:10 +tex
     252     135 46.4% 07-Feb-97 23:26:28 +tex
     252     138 45.2% 06-Feb-97 23:45:34 +tex
    1097     544 50.4% 20-Feb-97 17:51:02  MUI.readme
     881     492 44.1% 21-Apr-97 21:04:58  DoTeX.readme
-------- ------- ----- --------- --------
   38383   16752 56.3% 22-Apr-97 11:49:24   8 files