| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-08-13 | Begin describing relabel queries solution | Marcin Chrzanowski | |
| 2021-08-10 | Add shortcut for optimal query problem times | Marcin Chrzanowski | |
| 2021-08-09 | Add query problem time complexity command | Marcin Chrzanowski | |
| 2021-08-09 | Add Theorem definition | Marcin Chrzanowski | |
| 2021-08-07 | Add macro for defined terms | Marcin Chrzanowski | |
| 2021-08-07 | Add an optional 'fixed parameters' parameter | Marcin Chrzanowski | |
| 2021-08-07 | Define queryproblem macro | Marcin Chrzanowski | |