Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/graphs/   (PVS Prover Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 190 kB image not shown  

Quelle  .hgeol   Sprache: unbekannt

 
Spracherkennung für: .hgeol vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

[patterns]
*.sh = LF
*.MINPACK = CRLF
scripts/*.in = LF
debug/msvc/*.dat = CRLF
debug/msvc/*.natvis = CRLF
unsupported/test/mpreal/*.* = CRLF
** = native

[repository]
native = LF

[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-06-06]