<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html;

      charset=windows-1252">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <div class="moz-cite-prefix">Herbert Voss wrote:<br>

    </div>

    <blockquote type="cite"

      cite="mid:477da97d-9501-3add-6ba3-98b84c39e7c6@fu-berlin.de">

      <br>

      <br>

      Am 30.05.20 um 17:36 schrieb Philip Taylor:

      <br>

      <blockquote type="cite"><br>

        No, Peter, no !  1. TeX Live /incudes/ TeXworks, which as good a

        TeX editor as one might reasonably want.

        <br>

        <br>

      </blockquote>

      <br>

      /TeXLive for _Windows_ imcludes it ...<br>

    </blockquote>

    <br>

    Yes, agreed, and Peter wrote "there are three common choices <b><i>for

        Windows</i></b>" ...<br>

    <i>Philip Taylor</i><br>

  </body>

</html>