removing trailing whitespaces

tactictoe test: making tactic application fail if the conclusion of the goal is not modified

tactictoe: finalizing argument update before testing

tactictoe: preparsing of theorems and tactics

quse_string: closing stream after usage + looking for next line

remove trailing whitespaces

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

reducing timeout for parsing tactics from 1sec to 10ms

print each search step

nicer search recording and parsing for TacticToe

tactictoe search without references

removing trailing white spaces

handle HOL_ERR

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

modifying some filenames

tactictoe: loads now after refactoring

refactoring tactictoe proof search

tactictoe/holyhammer refactoring in progress