Quelle  read.g   Sprache: unbekannt

#
# profiling: Line by line profiling and code coverage for GAP
#
# Reading the implementation part of the package.
#
ReadPackage( "profiling", "gap/profiling.gi");

[ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ]