Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  README

  Sprache: HTML
 

Create HTML files for tables in the GAP Character Table library,
and HTML overviews of these files,
in subdirectories of the 'ctbltoc' directory.

Load the feature into a GAP session (start GAP with the '-A' option) via

    ReadPackage( "ctbllib""ctbltoc/init.g" );

If the data directories do not yet exist then create them.

    dir:= DirectoriesPackageLibrary( "ctbllib""ctbltoc" )[1];
    CreateDir( Filename( dir, "data" ) );
    CreateDir( Filename( dir, "views" ) );

For updating the local copy of the table of contents,
start GAP 4, read 'init.g'and call

    for nam in HTMLViewsGlobals.documents do
      HTMLCreateGroupInfoFile( nam );
    od;
    for name in RecNames( HTMLCreateView ) do
      HTMLCreateView.( name )();
    od;

Then copy the files in question to the appropriate directory
in the home directory of the package.
For that, cd to the 'ctbltoc' directory, call

    tar cvzf ctbltoc.tgz ctbltoc.css index.html data views

and unpack the archive in the right place.


Messung V0.5 in Prozent
C=100 H=100 G=100

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-18) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=492969
#Domains=607362