ToolFunctions.gd

#############################################################################
##
##  AutoDoc package
##
##  Copyright 2012-2016
##    Sebastian Gutsche, University of Kaiserslautern
##    Max Horn, Justus-Liebig-Universität Gießen
##
## Licensed under the GPL 2 or later.
##
#############################################################################

DeclareGlobalFunction( "AUTODOC_OutputTextFile" );
DeclareGlobalFunction( "AutoDoc_WriteDocEntry" );
DeclareGlobalFunction( "AutoDoc_MakeGAPDocDoc_WithoutLatex" );