— Minor GUI improvements and small updates to the documentation
— Added some logging for the sequential and the asynchronous matcher of type 1
— fixed bugs with the current implementation of the second type of asynchronous pattern patcher.
— Now the Patter Matcher 2 will generate 4 threads instead of many, and will be faster.
— Bugs remain in the code for figuring out the elapsed time.
— Added a report document, private for the time being.