products/Sources/formale Sprachen/Isabelle/Tools/Metis/src image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: policy   Sprache: Unknown

grant {
    permission java.lang.RuntimePermission "setSecurityManager";
    permission java.security.SecurityPermission "insertProvider.*";   
    permission java.security.SecurityPermission "removeProvider.*";
    permission java.io.FilePermission "${test.src}/-", "read";
    permission java.io.FilePermission "${closed.base}/-", "read";
};

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]