products/sources/formale sprachen/VDM/VDMPP/SSlibE2PP/.settings/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Cut_Lines.bsh   Sprache: Unknown

Spracherkennung für: .prefs vermutete Sprache: Lex {Lex[128] Latech[155] BAT[201]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

eclipse.preferences.version=1
encoding/<project>=UTF-8

[ Dauer der Verarbeitung: 0.107 Sekunden  ]