Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/kernel/byterun/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 3 kB image not shown  

Quelle  makedoc.g   Sprache: unbekannt

 
#
# corefreesub: A GAP Package for calculating the core-free subgroups and their faithful transitive permutation representations
#
# This file is a script which compiles the package manual.
#
if fail = LoadPackage("AutoDoc") then
    Error("AutoDoc version 2018.02.14 or newer is required.");
fi;

AutoDoc( rec( autodoc := true, maketest := true));#, extract_examples := true ) );

QUIT;

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]