History log of /seL4-l4v-master/HOL4/src/AI/sml_inspection/smlRedirect.sml
Revision Date Author Comments
# 93fa3b74 13-May-2020 Thibault Gauthier <email@thibaultgauthier.fr>

simplifying tactictoe/holyhammer/AI debugging scheme
# d11bd0d1 11-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

modifying some filenames
# ee685bd4 09-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

tactictoe/holyhammer refactoring in progress