/* Title: Pure/System/distribution.scala
Author: Makarius
The Isabelle system distribution -- filled-in by makedist.
*/
package isabelle
object Distribution
{
val version = "Isabelle2021: February 2021"
val is_identified = true
val is_official = true
}
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.15Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Entwicklung einer Software für die statische Quellcodeanalyse
|