Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-08-09 | Add Theorem definition | Marcin Chrzanowski | |
2021-08-09 | Add make clean command | Marcin Chrzanowski | |
2021-08-07 | Remove stuff | Marcin Chrzanowski | |
2021-08-07 | Add Makefile | Marcin Chrzanowski | |
2021-08-07 | Add bibliography generation with biber | Marcin Chrzanowski | |
2021-08-07 | Small fixes | Marcin Chrzanowski | |
2021-08-07 | Add sentence | Marcin Chrzanowski | |
2021-08-07 | Begin defining tree automata | Marcin Chrzanowski | |
2021-08-07 | Add macro for defined terms | Marcin Chrzanowski | |
2021-08-07 | Begin tree and MSO definitions | Marcin Chrzanowski | |
2021-08-07 | Fixup query problem definitions | Marcin Chrzanowski | |
2021-08-07 | Change subsection order | Marcin Chrzanowski | |
2021-08-07 | Define relabel regular queries on trees | Marcin Chrzanowski | |
2021-08-07 | Define various query problems | Marcin Chrzanowski | |
2021-08-07 | Add an optional 'fixed parameters' parameter | Marcin Chrzanowski | |
2021-08-07 | Define queryproblem macro | Marcin Chrzanowski | |
2021-08-07 | Remove unnecessary comments | Marcin Chrzanowski | |
2021-08-06 | Define the branch infix query problem | Marcin Chrzanowski | |
2021-08-06 | Stylistic change | Marcin Chrzanowski | |
2021-08-06 | Fix typo | Marcin Chrzanowski | |
2021-08-05 | Create outline with dummy sections | Marcin Chrzanowski | |
2021-08-05 | Add first version of abstract | Marcin Chrzanowski | |
2021-08-05 | Cleanup comments | Marcin Chrzanowski | |
2021-08-04 | Describe black-white algorithm | Marcin Chrzanowski | |
2021-08-03 | Replace Schieber+Vishkin with Bender+Farah-Colton | Marcin Chrzanowski | |
2021-08-03 | Initial commit | Marcin Chrzanowski | |