Branches - origin: https://github.com/goodlyrottenapple/calculus-toolbox

visit type:

Name	Target	Message	Date
HEAD	1c0009f	fixed perl dependency...was too specific	05 February 2018, 12:27:16 UTC
refs/heads/gh-pages	e8bc7b7	Update index.md	14 May 2018, 12:45:08 UTC
refs/heads/isabelle2015	2058e4a	Update README.md	03 October 2016, 10:35:53 UTC
refs/heads/master	1c0009f	fixed perl dependency...was too specific	05 February 2018, 12:27:16 UTC