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

Quellcode-Bibliothek manifest.mf   Sprache: unbekannt

 
Manifest-Version: 1.0
OpenIDE-Module: org.netbeans.modules.masterfs.windows
OpenIDE-Module-Localizing-Bundle: org/netbeans/modules/masterfs/watcher/windows/Bundle.properties
OpenIDE-Module-Requires: org.openide.modules.os.Windows
OpenIDE-Module-Provides: org.netbeans.modules.masterfs.providers.Notifier
OpenIDE-Module-Specification-Version: 1.46

[ 0.22Quellennavigators  Projekt   ]