##############################################################################
##
#W files.gd GAP4 package `Utils' Sebastian Gutsche
## Max Horn
## Stefan Kohl
#Y Copyright (C) 2015-2025, The GAP Group
#############################################################################
## this function has been transferred from RCWA
##
#F Log2HTML ( logfilename )
##
## Utility to convert GAP log files to XHTML 1.0 Strict.
##
## Usage:
##
## - Issue Log2HTML( <logfilename> ). The extension of the input file must
## be *.log. The name of the output file is the same as the one of the
## input file except that the extension *.log is replaced by *.html.
##
## - Adapt the style file rcwa/doc/gaplog.css to your taste.
##
DeclareGlobalName( "Log2HTML" );
#############################################################################
##
#E files.gd . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
[ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
]
