Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/profiling/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 21.5.2025 mit Größe 352 B image not shown  

Quelle  makedoc.g   Sprache: unbekannt

 
#
# profiling: Line by line profiling and code coverage for GAP
#
# This file is a script which compiles the package manual.
#
if fail = LoadPackage("AutoDoc", ">= 2016.01.21") then
    Error("AutoDoc 2016.01.21 or newer is required");
fi;

AutoDoc( rec( scaffold := true,
            autodoc := rec( files := [ "doc/tutorial.autodoc" ] ),
) );

QUIT;

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]