Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/Sources/formale Sprachen/Isabelle/HOL/Library/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: krb5.conf   Sprache: Unknown

Spracherkennung für: .conf vermutete Sprache: C {C[24] Abap[242] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

[libdefaults]
default_realm = R

[realms]
R = {
    kdc = kdc
}

[domain_realm]
.h2 = R2

[ Dauer der Verarbeitung: 0.63 Sekunden  ]