#############################################################################
##
##  ToolFunctions.gd                      AutoDoc package
##
##  Copyright 2007-2013,   Mohamed Barakat, University of Kaiserslautern
##                       Sebastian Gutsche, University of Kaiserslautern
##
##  Some tools
##
#############################################################################

DeclareGlobalFunction( "AUTODOC_OutputTextFile" );

DeclareGlobalFunction( "AutoDoc_WriteDocEntry" );
