products/Sources/formale Sprachen/Isabelle/HOL/Auth/   (PVS Prover Version 6.0.9©)  Datei vom 16.11.2025 mit Größe 12 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]

Manifest-Version: 1.0
OpenIDE-Module: org.netbeans.modules.websvc.jaxws.lightapi
OpenIDE-Module-Localizing-Bundle: org/netbeans/modules/websvc/jaxws/light/Bundle.properties
OpenIDE-Module-Specification-Version: 1.52

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