|
|
203.
|
|
|
This is a dummy package which will install the documentation in html and pdf formats.
|
|
|
Description
|
|
|
|
|
Dies ist ein Pseudo-Paket, das die Dokumentation in html- und pdf-Formaten installiert.
|
|
Translated and reviewed by
Hendrik Schrieber
|
|
|
|
Located in
Package: coq-doc
|
|
|
204.
|
|
|
documentation for Coq in html format
|
|
|
Summary
|
|
|
|
|
Dokumentation für Coq im HTML-Format
|
|
Translated and reviewed by
Hendrik Schrieber
|
|
|
|
Located in
Package: coq-doc-html
|
|
|
205.
|
|
|
This package contains its documentation and tutorials in html format.
|
|
|
Description
|
|
|
|
|
Dieses Paket enthält die Dokumentation und Tutorials im HTML-Format.
|
|
Translated and reviewed by
Hendrik Schrieber
|
|
|
|
Located in
Package: coq-doc-html
|
|
|
206.
|
|
|
documentation for Coq in pdf format
|
|
|
Summary
|
|
|
|
|
Dokumentation für Coq im PDF-Format
|
|
Translated and reviewed by
Hendrik Schrieber
|
|
|
|
Located in
Package: coq-doc-pdf
|
|
|
207.
|
|
|
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
|
|
|
Description
|
|
|
|
|
Coq ist ein Beweis-Assitent für höherwertige Logik, welcher Ihnen die Entwicklung von Programmen ermöglicht, die ihren formalen Anforderungen entsprechen. Es wird mittels Objective Caml und Camlp5 entwickelt.
|
|
Translated and reviewed by
Hendrik Schrieber
|
|
|
|
Located in
Package: coq-doc-pdf
Package: coq-doc-html
Package: coq-doc
|
|
|
208.
|
|
|
This package contains its documentation and tutorials in pdf format.
|
|
|
Description
|
|
|
|
|
Dieses Paket enthält die Dokumentation und Tutorials im PDF-Format
|
|
Translated and reviewed by
Hendrik Schrieber
|
|
|
|
Located in
Package: coq-doc-pdf
|
|
|
209.
|
|
|
Open source clone of Theme Hospital
|
|
|
Summary
|
|
|
|
|
Open Source Klon von Theme Hospital
|
|
Translated and reviewed by
Torsten Franz
|
|
|
|
Located in
Package: corsix-th
|
|
|
210.
|
|
|
Open source clone of Theme Hospital (data package)
|
|
|
Summary
|
|
|
|
|
Open Source Klon von Them Hospital (Datenpaket)
|
|
Translated and reviewed by
Torsten Franz
|
|
|
|
Located in
Package: corsix-th-data
|
|
|
211.
|
|
|
Theme Hospital was a simulation computer game developed by Bullfrog Productions and published by Electronic Arts in 1997, in which the player designs and operates a hospital.
|
|
|
Description
|
|
|
|
|
Theme Hospital war ein Simulationsspiel, entwickelt von Bullfrog Productions und 1997 von Electronic Arts veröffentlicht, in dem der Spieler ein Krankenhaus aufbaut und leitet.
|
|
Translated by
Stephan Woidowski
|
|
Reviewed by
Torsten Franz
|
|
|
|
Located in
Package: corsix-th-data
Package: corsix-th
|
|
|
212.
|
|
|
The game currently requires the original graphics and tries to mimic the original as closely as possible. Therefore you will need a copy of the original game for this package to be useful.
|
|
|
Description
|
|
|
|
|
Das Spiel benötigt derzeit die Original-Grafiken und versucht, das Original so gut wie möglich nachzuahmen. Hierzu benötigen Sie eine Kopie des Originalspiels, damit dies von Nutzen sein kann.
|
|
Translated by
Stephan Woidowski
|
|
Reviewed by
Torsten Franz
|
|
|
|
Located in
Package: corsix-th-data
Package: corsix-th
|
