Fetchmail ist eine Vollfunktions-, robuste, gut dokumentierte Fern-post Wiederherstellung und ein Versendenhilfsprogramm, die über Bedarfs-IP-Links verwendet werden sollen (wie SLIP-oder PPP-Anschlüssen). Fetchmail unterstützt jedes Fern-post Protokoll jetzt, das auf dem Internet gebräuchlich ist: POP2, POP3, RPOP, APOP, KPOP, alle Aromen von IMAP, ETRN und ODMR. Fetchmail kann IPv6 und IPSEC sogar unterstützen.

Fetchmail zurückholt Post von den FernMail-Servern und nachschickt sie über smtp sie, also kann es von den normalen Postbenutzervertretern wie Köter, Ulme dann gelesen werden (1) oder Bd-Post. Es erlaubt Ihr ganzes System MTAs, das filtert, nachschickt und Aliasing, das, um zu arbeiten Teildienst, gerade während sie auf normaler Post wurden.

Fetchmail anbietet bessere Sicherheit als jeder möglicher andere Unix Fern-post Klient e. Es unterstützt APOP, KPOP, OTP, Compuserve RPA, Microsoft NTLM und IMAP-RFC1731 verschlüsselte Authentisierungsmethoden einschließlich CRAM-MD5, um Kennwort, en clair zu senden zu vermeiden. Es kann konfiguriert werden, um aufeinanderfolgende Verschlüsselung über den Tunnelbau mit ssh, das sichere Shell zu unterstützen.

Fetchmail kann als POP/IMAP-to-SMTP Kommunikationsrechner für ein gesamtes DNS-Gebiet verwendet werden und Post von einem einzelnen Absinkenkasten auf einem ISP und einem Smtp-Versenden montieren, die es auf Vorsatzadressen gründete. (Wir nicht wirklich empfehlen dieses, obwohl, da es wichtige Umschlagvorsatz Informationen verlieren kann. ETRN oder ein UUCP-Anschluß ist. besser)

Fetchmail kann als Systemsdämon zur Mattezeit automatisch und still begonnen werden. Beim Laufen in diese Betriebsart mit einem kurzen Abstimmungabstand, ist es recht hart für jedermann, mitzuteilen, dass das Link der ankommenden Post nicht ein Ganztags„Stoß“ Anschluß ist.

Fetchmail ist einfach zu konfigurieren. Sie können sein dotfile direkt bearbeiten, oder den interaktiven GUIconfigurator (fetchmailconf) verwenden geliefert mit der fetchmail Verteilung. Sie auch unterstützt direkt in den linuxconf Versionen 1.16r8 und später.

Fetchmail ist schnell und Leichtbau. Es packt alle seine Standardausrüstungen (POP3, IMAP-und ETRN Träger) in 196K des Kernes auf einem Pentium unter Linux.

Fetchmail ist Öffnenquellensoftware. Die Offenheit der Quellen ist Ihre stärkste mögliche Versicherung der Qualität und der Zuverlässigkeit.

Sind hier einige Hauptmerkmale von „fetchmail“:

· STARTTLS unterstützt in POP und in IMAP.
· ESMTP AUTH (RFC 2554) unterstützt.
· Hat die Fähigkeit des Addierens von Spureninformationen dem empfangenen Vorsatz, um die Post zu ermöglichen, die durch mail server und Fernrechnung filtert.
· Fetchmail hat jetzt die Optionen, zum von SSL-Bescheinigungsgültigkeitserklärung zu handhaben.
· Fetchmail kann mitgeteilt werden, um zurück zu dem Entbinden über lokales sendmail zu fallen wenn es geöffnete Öffnung 25 des Gewinsels.
· Träger für AUTH=CRAM-MD5 unter POP3, ein La RFC2195.
· Träger für ODMR (Bedarfspost-Relais), RFC 2645.
· Sein jetzt einfaches, Post an eine lokale LMTP Kontaktbuchse zu entbinden.
· Die Schnittstellenoption überprüft jetzt lokale und Fernschnittstelle IPS.
· Der steckbare Teildienst erhöht worden; %h und %p Optionen sind jetzt erhältlich, in das hostname zu passieren und Anschlußnummer instandzuhalten.
· Addierte eine dropdelivered Option Ausschuß Entbinden-zu den Vorsätzen. Dieses anspricht ein Problem mit der Anwendung von fetchmail und von Postfix als Relais innerhalb eines Gebietes; wenn Postfix ankommende Meldungen mit entbinden-zu den Vorsätzen sieht, welche genau die selben schauen, die die es selbst hinzufügt, aufprallt es die Meldung t.
· Addiert --smtpname, zum von username und von Gebietsteil smtp „RCPT einzustellen“ zum Befehl. · Addiert „“ vom Servers IP address eingesteckter empfangener Leitung.
· Fetchmail läuft jetzt auf BeOS, dank David Reid .
· In IMAP erfolgt die Ungesehenmeldung, die zählt und markiert, jetzt durch die RECHERCHE, die zu Beginn jeder Abstimmung oder Re-abstimmung (eher als mit den UNGESEHENEN und NEUEN Antworten UNGESEHEN ist und KENNZEICHNET Abfragen auf einzelnen Meldungen). Dieses verringerte beträchtlich auf Verkehr nach und von dem Server und gibt zuverlässigere Resultate.
· Die aka Option abgleicht jetzt hostnamesuffixe t, also (z.B.) abgleicht das Sagen von `aka netaxs.com nicht gerade netaxs.com aber auch (sagen), pop3.netaxs.com und mail.netaxs.com d.
· Fetchmail kann die UNTÄTIGE Extension RFC-2177 auf einem IMAP-Server wahlweise verwenden, der Träger es. Auf IMAP-Servers, die nicht tun, kann es ihn using periodische NOOP Befehle simulieren.
· Fetchmail erkennt jetzt die ausgedehnten Antworten RFC-2449 [IN-USE] und [LOGIN-DELAY].
· Fetchmail, das in Dämonbetriebsart wiederbeginnt läuft jetzt, ruhig ginnt, wenn die rc Datei berührt.
· Nach neuen Gerichtsurteilen und Änderungen in der US-regelnden föderativpolice, sichern Haken für Kontaktbuchse-Schicht (SSL) sind jetzt Teil der Hauptfetchmail Verteilung. Die Verteilung enthält noch keinen tatsächlichen kryptographischen Code.
· NTLM Träger unter IMAP, also fetchmail können Microsoft abfragen austauschen Servers.
· Option löschen kann jetzt verwendet werden, um Wiederherstellung POP3 in subsessions zu brechen.
· Träger für AUTH=CRAM-MD5 unter IMAP, ein La RFC2195.

Was in diesem Auslösen neu ist:

· Dieses ist der abschließende Anwärter für fetchmail-6.3.0.
· Das FAQ verbessert und jetzt versendet auch im bedruckbaren Duplexformat pdf-A4.
· Die manuelle Seite verbessert, um Exemplar und Paste zu erlauben.
· Eine imap-Marke, zum gegen Scheinmeldunggrößen auf 64-bitplattformen zu schützen war örtlich festgelegt.
· Die japanische Übersetzung war aktualisiert.
· Fetchmail kann auf Systeme ohne Pythonschlange wieder eingebaut werden.

Isabelle ist ein populärer generischer Theorem Prover, der in Universität von Cambridge und TU München entwickelt. Isabelle ist ein generischer Beweisassistent. Er erlaubt, daß mathematische Formeln in einer formalen Sprache ausgedrückt und liefert Werkzeuge für die Prüfung jener Formeln in einem logischen Kalkül. Die Hauptanwendung ist die Formalisierung der mathematischen Beweise und insbesondere der formalen Überprüfung, die die Prüfung der Korrektheit von Computerhardware oder Software und die Prüfung von Eigenschaften der Computersprachen und der Protokolle umfaßt.

Verglichen mit ähnlichen Werkzeugen, ist Isabelles, das Merkmal unterscheidet, seine Flexibilität. Die meisten Beweisassistenten aufgebaut um ein einzelnes formales Kalkül, gewöhnlich höherer Ordnunglogik ng. Isabelle hat die Kapazität, eine Vielzahl der formalen Kalküls anzunehmen. Die verteilte Version unterstützt höherer Ordnunglogik aber auch axiomatische Mengenlehre und einige andere Förmlichkeiten. Logik für weitere Einzelheiten sehen.

Isabelle ist ein Gemeinschaftsprojekt zwischen Lawrence C. Paulson (Universität von Cambridge, Großbritannien) und Tobias Nipkow (technische Universität von München, von Deutschland).

Sind hier einige Hauptmerkmale von „Isabelle“:

· Deutung der Schauplatzausdrücke in den Theorien, in den Schauplätzen und in den Beweiszusammenhängen.
· Erhebliche Bibliotheksverbesserungen (HOL, HOL-Kompliziertes, HOLCF).
· Beweiswerkzeuge für Transitivitätargumentation.
· Allgemeiner find_theorems Befehl (durch Ausdruckmuster, als Intro/anordnet elim/simp usw.)).
· Befehle für das Generierung der ad hoc Dokumententwürfe.
· Träger für Unicode Beweisdokumente (UTF-8).
· Interne hauptsächlichreorganisierungen und Leistungsverbesserungen.