Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Pure/General/   (Isabelle Prover Version 2025-1©)  Datei vom 16.11.2025 mit Größe 2 kB image not shown  

Impressum .clang-format   Interaktion und
Portierbarkeitunbekannt

 
Haftungsausschluß.clang-format KontaktUnknown {[0] [0] [0]}diese Dinge liegen außhalb unserer Verantwortung

BasedOnStyle: LLVM

PointerAlignment: Left
IndentCaseLabels: true
AllowShortFunctionsOnASingleLine: false
AllowShortCaseLabelsOnASingleLine: false
AlwaysBreakTemplateDeclarations: true
BinPackArguments: true
FixNamespaceComments: true

[Seitenstruktur0.23Drucken]