Translations by Sascha

Sascha has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.

14 of 4 results
456.
This package contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.
2012-03-09
Dieses Paket enthält den interaktiven Entwicklungsmodus für Agda unter Emacs. Dieser Modus ist der bevorzugte Weg um Agda-Code zu schreiben, und bietet Möglichkeiten wie iterartive Entwicklung, Vervollständigung, Fall-Analyse und so weiter.
689.
Advanced Maryland Automatic Network Disk Archiver (Server)
2012-03-15
Advanced Maryland Automatic Network Disk Archiver (Server)
788.
aMule-AdunanzA is a peer-to-peer file sharing application, designed to connect to the eDonkey and Kadu networks. It is specifically designed for systems located behind Fastweb NAT network. It has a wide range of features, including many of the original eMule and aMule client, like:
2012-03-15
aMule-AdunanzA ist eine Kollege-zu-Kollege Datei-Verteilanwendung, entwickelt zur Verbindung zum eDonkey- und Kadu-Netzwerk. Es wurde besonders entwickelt mit Blick auf Systeme hinter Fastweb NAT Netzwerken. Es verfügt über eine Breite Palette and Möglichkeiten, einschliesslich viler aus den ursprünglichen eMule- und aMule-Klienten, wie:
790.
A daemonized version of the application that does not need a graphic environment to run is available in the amule-adunanza-daemon package, and various utilities of interest can be found in the amule-adunanza-utils and amule-adunanza-utils-gui packages, including the ed2k link handler.
2012-03-15
Eine dämonisierte Version der Anwendung die keinerlei grafische Umgebung benötigt, ist verfügbar im amule-adunanza-daemon Paket, und verschiedene Werzkzeuge von Interesse können gefunden werden in den amule-adunanza-utils und amule-adunanza-utils-gui Paketen, einschliesslich des ed2k-Link-Behandlers.