History log of /seL4-l4v-master/HOL4/src/AI/proof_search/psMinimize.sig
Revision Date Author Comments
# 5f6b592e 20-May-2020 Thibault Gauthier <email@thibaultgauthier.fr>

explicit timeout during the parsing of tactical strings
# ee685bd4 09-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

tactictoe/holyhammer refactoring in progress