Quellcodebibliothek Statistik Leitseite products/Sources   (Isabelle Prover Version 2025-1©)  Datei vom mit Größe 0 B 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.progress.ui
OpenIDE-Module-Localizing-Bundle: org/netbeans/modules/progress/ui/Bundle.properties
OpenIDE-Module-Provides: org.netbeans.modules.progress.spi.ProgressUIWorkerProvider, org.netbeans.modules.progress.spi.RunOffEDTProvider
AutoUpdate-Essential-Module: true
OpenIDE-Module-Specification-Version: 1.63

[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-09-27]