| #
ea4d4c7a |
|
05-Jun-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
regrouping evaluation functions
|
| #
7f992e88 |
|
08-Apr-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
updating infixity + README for tactictoe
|
| #
0733c652 |
|
08-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
refactoring tactictoe/holyhammer (wip)
|
| #
4778f606 |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete trailing whitespace in src/
|
| #
7054556f |
|
30-Aug-2018 |
thibault <thibault_gauthier@hotmail.fr> |
tactictoe: deleting erroneous comments
|
| #
aa435955 |
|
30-Aug-2018 |
thibault <thibault_gauthier@hotmail.fr> |
tactictoe: adding back infix tokens to Overlay.sml
|
| #
c4dded75 |
|
30-Aug-2018 |
thibault <thibault_gauthier@hotmail.fr> |
tactictoe: updating the list of infix tokens from Overlay.sml
|
| #
501fbd46 |
|
24-May-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: updating infixities
|
| #
2b238455 |
|
07-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
remove trailing white spaces
|
| #
541b720d |
|
01-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: renaming hhs prefix to ttt (rebuild necessary)
|