removing trailing whitespaces

tactictoe: finalizing argument update before testing

tactictoe: preparsing of theorems and tactics

alternative theorem predictions

catching errors during term abstraction

abstract term wip + fix chainy export missing definitions

updating tactic parser

explicit timeout during the parsing of tactical strings

print each search step

nicer search recording and parsing for TacticToe

tactictoe search without references

removing trailing white spaces

fixing tactictoe export + checking if an expression is a theorem from its type in the namespace

tactictoe/holyhammer refactoring in progress