products/Sources/formale Sprachen/Isabelle/HOL/Library/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 19 kB image not shown  

Quelle  manifest.mf   Sprache: unbekannt

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

OpenIDE-Module: org.netbeans.modules.lexer/2
OpenIDE-Module-Implementation-Version: 1
OpenIDE-Module-Localizing-Bundle: org/netbeans/lib/lexer/Bundle.properties
OpenIDE-Module-Recommends: org.netbeans.spi.lexer.LanguageProvider

[zur Elbe Produktseite wechseln0.20QuellennavigatorsAnalyse erneut starten2026-04-27]