| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-16 | Fix typo | Marcin Chrzanowski |
| 2021-12-16 | Style | Marcin Chrzanowski |
| 2021-12-16 | Fix branch infix preprocessing | Marcin Chrzanowski |
| 2021-12-16 | Proof | Marcin Chrzanowski |
| 2021-12-16 | Style | Marcin Chrzanowski |
| 2021-12-16 | Use same convention for DFA | Marcin Chrzanowski |
| 2021-12-16 | Wording | Marcin Chrzanowski |
| 2021-12-16 | Specify tree needs to be preprocessed | Marcin Chrzanowski |
| 2021-12-16 | Small improvement in introduction | Marcin Chrzanowski |
| 2021-12-13 | Add proper classification | Marcin Chrzanowski |
| 2021-12-13 | Let w = u_0 | Marcin Chrzanowski |
| 2021-12-13 | Add subtree with hole figure | Marcin Chrzanowski |
| 2021-12-13 | Fix subtree with hole partition | Marcin Chrzanowski |
| 2021-12-13 | Add partition figure | Marcin Chrzanowski |
| 2021-12-11 | Add conclusion | Marcin Chrzanowski |
| 2021-12-11 | Update date | Marcin Chrzanowski |
| 2021-12-11 | Rename vertices | Marcin Chrzanowski |
| 2021-12-11 | Fix typo | Marcin Chrzanowski |
| 2021-12-11 | Add marked tree figure | Marcin Chrzanowski |
| 2021-12-11 | Add tree figure | Marcin Chrzanowski |
| 2021-12-11 | Add missing root vertex in tree case | Marcin Chrzanowski |
| 2021-12-11 | Add extra copy of Q in word case | Marcin Chrzanowski |
| 2021-12-11 | Fix subscript | Marcin Chrzanowski |
| 2021-12-11 | Explain R notation | Marcin Chrzanowski |
| 2021-12-11 | Move bullet point out into paragraph | Marcin Chrzanowski |
| 2021-12-11 | Expand on singleton case | Marcin Chrzanowski |
| 2021-12-11 | Expand question | Marcin Chrzanowski |
| 2021-12-11 | Fix wording | Marcin Chrzanowski |
| 2021-12-11 | Fix set name typo | Marcin Chrzanowski |
| 2021-12-11 | Clarify order | Marcin Chrzanowski |
| 2021-12-09 | Add a recap of the full algorithm | Marcin Chrzanowski |
| 2021-12-09 | Queries to questions | Marcin Chrzanowski |
| 2021-12-09 | Add MSO to automaton citation | Marcin Chrzanowski |
| 2021-12-09 | Specify rooted trees | Marcin Chrzanowski |
| 2021-12-09 | Subtrees are children's | Marcin Chrzanowski |
| 2021-12-09 | Tree traversals are for binary trees | Marcin Chrzanowski |
| 2021-12-09 | Add graph view of trees | Marcin Chrzanowski |
| 2021-12-09 | Wodring in organization | Marcin Chrzanowski |
| 2021-12-09 | Remove hyphens | Marcin Chrzanowski |
| 2021-12-09 | Fix typo | Marcin Chrzanowski |
| 2021-12-09 | Specify what n is, formatting | Marcin Chrzanowski |
| 2021-12-09 | Change some wording | Marcin Chrzanowski |
| 2021-12-07 | Finalize subtree with hole explanation | Marcin Chrzanowski |
| 2021-12-07 | Formally show automaton | Marcin Chrzanowski |
| 2021-12-06 | Add word figure | Marcin Chrzanowski |
| 2021-12-03 | Reword sentence | Marcin Chrzanowski |
| 2021-12-03 | Complete proof for LCA closure | Marcin Chrzanowski |
| 2021-12-03 | Reword partition readiness | Marcin Chrzanowski |
| 2021-12-03 | Be more specific about subtrees | Marcin Chrzanowski |
| 2021-11-26 | Begin rewording LCA proof | Marcin Chrzanowski |