Branch: refs/heads/master Home: https://github.com/forge/docs Commit: 535f4e32770894d3ffd4be750bab63627f042777 https://github.com/forge/docs/commit/535f4e32770894d3ffd4be750bab63627f04... Author: Antonio Goncalves <antonio.goncalves(a)gmail.com&gt; Date: 2014-11-02 (Sun, 02 Nov 2014) Changed paths: M tutorials/forge-hol/chapters/introduction.adoc Log Message: ----------- Updating How does this HoL work?