products/sources/formale sprachen/C/Lyx/development/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: smallcaps.xpm   Sprache: Unknown

Spracherkennung für: .nix vermutete Sprache: Isabelle {Isabelle[26] C[97] Ada[159]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

{ ocamlPackages }:
{
  buildInputs = with ocamlPackages; [ ocaml findlib elpi ];
}

[ Dauer der Verarbeitung: 0.210 Sekunden  ]