some more preparations for documentation day tomorrow

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2270 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Make logger functions protected.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2271 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Rename prenexToExpansionTree.apply_ and convert comment to scaladoc.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2273 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Improve fol2hol documentation.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2275 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Improved documentation for expansion tree algorithms.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2281 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Improve hol2fol docs.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2282 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
CLI: cleanup of parser calls

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2286 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
comments for replacement

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2287 85d21ef8-add0-11de-ae77-5bfb9c5a3f34