[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Some user feedback

   If you change your way of documenting tlaplus may I suggest that you
   don't make a documentation that requires that one connects online to
   read it.

The only documentation to which this seems to apply is the
documentation of TLAPS.  I intend eventually to replace that with
additional material in the Hyperbook.  I trust you realize that the
Toolbox documentation on the Web consists of a copy of its help pages,
put there because help pages aren't going to help someone solve the
problem of the Toolbox not starting.