This paper describes the analysis of streamed log data generated from the use of two specific e-learning tools in the context of a basic logic course taught and evaluated at Aalborg University, Denmark, during the period ...