| #
a9fc0729 |
|
15-Oct-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
only trying to lowercase tokens with a module prefix
|
| #
c3cff6cb |
|
15-Oct-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
minor
|
| #
953ed3f8 |
|
14-Oct-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
prefer lower case tactics if available
|
| #
a221d22c |
|
13-May-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
remove trailing whitespaces
|
| #
d1a8c84f |
|
12-May-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
update recording + prettification (parentheses) + eliminate caches + hide outputs explicitly
|
| #
1a5897cd |
|
11-May-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
nicer search recording and parsing for TacticToe
|
| #
d11bd0d1 |
|
11-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
modifying some filenames
|
| #
4257dcbc |
|
10-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
finalize holyhammer refactoring, continuing with tactictoe
|
| #
ee685bd4 |
|
09-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
tactictoe/holyhammer refactoring in progress
|