#############################################################################
##
##  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( "Scan_for_AutoDoc_Part" );
DeclareGlobalFunction( "AutoDoc_Type_Of_Item" );

## Argument should be a filename
DeclareGlobalFunction( "AutoDoc_Parser_ReadFiles" );
