| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-07 | Formally show automaton | Marcin Chrzanowski |
| 2021-11-26 | Add claim theorem type | Marcin Chrzanowski |
| 2021-11-24 | Queries -> Questions in definition | Marcin Chrzanowski |
| 2021-11-05 | Fix data table fonts in math mode | Marcin Chrzanowski |
| 2021-10-14 | Add enumeration class definitions | Marcin Chrzanowski |
| 2021-09-30 | Modify definitions | Marcin Chrzanowski |
| 2021-08-16 | Add and use definitions, first draft MSO query answering | Marcin Chrzanowski |
| 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 |