Eine aufbereitete Darstellung der Quelle

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

Benutzer

Quelle  Changelog

  Sprache: Text
 

Version 1.1.10

  - Improved documentation conversion and formatting

Version 1.1.9:

  - Compatibility fixes for GAP 4.11.

Version 1.1.8:

  - PackageInfo record corrected.

Version 1.1.7:

  - Testfile with manual examples added.
  - Corrected premature warning about RefinedPcGroup.

Version 1.1.6:

  - Fixed file permissions.

Version 1.1.5:

  - Minor update.

Version 1.1.4:

  - Adapted to GAP 4.5.

Version 1.1.3:

  - Address change.

Version 1.1.2:

  - File manual.toc added.

Version 1.1.1:

  - Several manual examples fixed.
  - Support for new package loading mechanism in GAP 4.4

Version 1.1:

  - Fixes for several problems with trivial groups.
  - Corrected the list of enantiomorphic pairs of space groups of dimension 4.





¤ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet am  2026-06-14) ¤

*© 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

letze Version des Elbe Quellennavigators


Jenseits des Üblichen ....
    

Besucher

Besucher

Statistik
#Sources=492969
#Domains=607362