Opened 3 years ago
Closed 3 years ago
#22502 closed enhancement (fixed)
a full truck of typos
Reported by:  chapoton  Owned by:  

Priority:  minor  Milestone:  sage7.6 
Component:  documentation  Keywords:  
Cc:  tscrim, jmantysalo  Merged in:  
Authors:  Frédéric Chapoton  Reviewers:  Jeroen Demeyer 
Report Upstream:  N/A  Work issues:  
Branch:  7892154 (Commits)  Commit:  789215475c51422bf6eeee56bf199b9421579527 
Dependencies:  Stopgaps: 
Description
Here is a nice little set of typos corrected.
Change History (9)
comment:1 Changed 3 years ago by
 Branch set to u/chapoton/22502
 Cc tscrim jmantysalo added
 Commit set to dbb3702a7617b8e11fa51603c5e6459c4f2e6474
 Status changed from new to needs_review
comment:2 Changed 3 years ago by
 Commit changed from dbb3702a7617b8e11fa51603c5e6459c4f2e6474 to 2b326c2f7ce74c0a892dee3a50f0e550c978844f
comment:3 Changed 3 years ago by
 Commit changed from 2b326c2f7ce74c0a892dee3a50f0e550c978844f to 500eda6bf5886cbff82a31bff9ca0c25cbb513b3
Branch pushed to git repo; I updated commit sha1. New commits:
500eda6  trac 22502 one detail

comment:4 Changed 3 years ago by
 Branch changed from u/chapoton/22502 to u/jhpalmieri/22502
comment:5 Changed 3 years ago by
 Commit changed from 500eda6bf5886cbff82a31bff9ca0c25cbb513b3 to 789215475c51422bf6eeee56bf199b9421579527
I made a few changes to your changes.
In "as per Heule's theis": should this be "thesis"? This occurs twice.
New commits:
7892154  trac 22502: a few small fixes

comment:6 Changed 3 years ago by
Thanks! A question relating to this:
Is it possible to strip out all docstrings from Sage src, and then strip out all LaTeX parts from that? Then we could just check what words occurs only once, as they are propably typos.
comment:7 Changed 3 years ago by
 Reviewers set to Jeroen Demeyer
 Status changed from needs_review to positive_review
comment:8 Changed 3 years ago by
Further fixes can be done in a followup ticket.
comment:9 Changed 3 years ago by
 Branch changed from u/jhpalmieri/22502 to 789215475c51422bf6eeee56bf199b9421579527
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Branch pushed to git repo; I updated commit sha1. New commits:
trac 22502 one detail