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: sage-7.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 chapoton

  • 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 git

  • Commit changed from dbb3702a7617b8e11fa51603c5e6459c4f2e6474 to 2b326c2f7ce74c0a892dee3a50f0e550c978844f

Branch pushed to git repo; I updated commit sha1. New commits:

2b326c2trac 22502 one detail

comment:3 Changed 3 years ago by git

  • Commit changed from 2b326c2f7ce74c0a892dee3a50f0e550c978844f to 500eda6bf5886cbff82a31bff9ca0c25cbb513b3

Branch pushed to git repo; I updated commit sha1. New commits:

500eda6trac 22502 one detail

comment:4 Changed 3 years ago by jhpalmieri

  • Branch changed from u/chapoton/22502 to u/jhpalmieri/22502

comment:5 Changed 3 years ago by jhpalmieri

  • 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:

7892154trac 22502: a few small fixes

comment:6 Changed 3 years ago by jmantysalo

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 jdemeyer

  • Reviewers set to Jeroen Demeyer
  • Status changed from needs_review to positive_review

comment:8 Changed 3 years ago by jdemeyer

Further fixes can be done in a follow-up ticket.

comment:9 Changed 3 years ago by vbraun

  • 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.