| a4ae713 | Štěpán Starosta | 14 May 2021, 15:37:50 UTC | v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic | 14 May 2021, 15:37:50 UTC |
| b3c165a | Štěpán Starosta | 13 April 2021, 21:39:02 UTC | v1.3.0: quickfix 3 - add ROOTS, delete ROOT | 13 April 2021, 21:39:02 UTC |
| 2cb5d13 | Štěpán Starosta | 13 April 2021, 21:37:36 UTC | v1.3.0: quickfix 2 - fix draft version and its usage description | 13 April 2021, 21:37:36 UTC |
| dfdb991 | Štěpán Starosta | 13 April 2021, 21:30:50 UTC | v1.3.0: quickfix - added forgotten ci-scripts | 13 April 2021, 21:30:50 UTC |
| f0e739d | Štěpán Starosta | 13 April 2021, 21:29:28 UTC | v1.3.0: new directory session compatible structure, numerous optimizations | 13 April 2021, 21:29:28 UTC |
| f59c448 | Štěpán Starosta | 22 February 2021, 15:34:45 UTC | v1.2: quickfix of ExampleBasic.thy | 22 February 2021, 15:34:45 UTC |
| 7a93c53 | Štěpán Starosta | 22 February 2021, 15:06:41 UTC | v1.2: added Overlaps and examples, various optimizations | 22 February 2021, 15:06:41 UTC |
| 18042fa | Štěpán Starosta | 20 February 2021, 19:27:10 UTC | Update README.md [skip ci] | 20 February 2021, 19:27:10 UTC |
| 940dab6 | Štěpán Starosta | 19 February 2021, 15:49:48 UTC | Update README.md [skip ci] | 19 February 2021, 15:49:48 UTC |
| 25b7aa1 | Štěpán Starosta | 19 February 2021, 15:48:26 UTC | Update README.md [skip ci] | 19 February 2021, 15:48:26 UTC |
| 2308210 | Štěpán Holub | 05 February 2021, 20:45:53 UTC | Update README.md | 05 February 2021, 20:45:53 UTC |
| ee6df93 | Štěpán Holub | 05 February 2021, 18:29:03 UTC | Update README.md | 05 February 2021, 18:29:03 UTC |
| b91127f | Štěpán Starosta | 01 February 2021, 15:52:01 UTC | v1.1: proof and naming optimizations, additions to CoWBasic, LyndonSchutzenberger, PeriodicityLemma CHANGELOG | 01 February 2021, 15:52:01 UTC |
| 793020f | Štěpán Starosta | 18 January 2021, 09:15:09 UTC | README: fix typo [skip ci] | 18 January 2021, 09:15:09 UTC |
| 31c1cf1 | Štěpán Starosta | 17 January 2021, 19:44:22 UTC | Update and clean .gitlab-ci.yml | 17 January 2021, 19:44:22 UTC |
| 5ab864a | Štěpán Starosta | 17 January 2021, 19:34:29 UTC | Update .gitlab-ci.yml | 17 January 2021, 19:34:29 UTC |
| 5d6dbea | Štěpán Starosta | 17 January 2021, 19:32:27 UTC | README: fix link | 17 January 2021, 19:32:27 UTC |
| cb58ef5 | Štěpán Starosta | 17 January 2021, 19:29:20 UTC | v0.1: initial version covering essential, graph lemma, periodicity lemma, LS teorem, Lyndon words ... | 17 January 2021, 19:29:20 UTC |
| 481259b | Štěpán Holub | 29 August 2020, 12:32:02 UTC | Update README.md | 29 August 2020, 12:32:02 UTC |
| 310d1da | Štěpán Starosta | 01 July 2020, 07:02:06 UTC | added arxiv link to Binary Intersection Formalized | 01 July 2020, 07:02:06 UTC |
| 6d4d7c9 | Štěpán Starosta | 30 June 2020, 15:27:48 UTC | Update LICENSE | 30 June 2020, 15:27:48 UTC |
| c846887 | Štěpán Starosta | 30 June 2020, 15:23:11 UTC | Update README.md | 30 June 2020, 15:23:11 UTC |
| 53ed4dc | Štěpán Starosta | 30 June 2020, 09:40:36 UTC | Initial commit | 30 June 2020, 09:40:36 UTC |
