#19023: Minor typos in 6.8
-------------------------------------+-------------------------------------
       Reporter:  jmantysalo         |        Owner:
           Type:  defect             |       Status:  needs_work
       Priority:  trivial            |    Milestone:  sage-6.9
      Component:  documentation      |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Jori Mäntysalo     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  public/ticket/19023                |  f6a4371c5134cca8dfcb324551d95b48f121a45d
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by jmantysalo):

 Replying to [comment:7 chapoton]:
 > I took care of the typos in the group theory tuto and posets. Maybe we
 can just stop there for the moment ?

 But then we should just open a new one... And I guess 6.9 will not be out
 for some time.

 I did this because a) Nathann hoped for less tickets, at least tickets
 only correcting a typo or two, b) Sage seems to still have small typos
 that I found when reading the manuals, and c) for me it seems unlogical to
 correct totally non-relating typo in some ticket.

 As an artifical example: Let's suppose that I wonder about Frattini
 sublattice. When thinking about docstring I see a typo in Frattini
 subgroup. Now I should make a note about the typo, so that I won't forget
 it when I make a patch at last.

--
Ticket URL: <http://trac.sagemath.org/ticket/19023#comment:8>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to