Mailinglisten auf mailman46.in.tum.de

Willkommen!

Unten finden Sie eine Aufstellung aller öffentlichen Mailinglisten auf dem Server mailman46.in.tum.de. Klicken Sie auf den Namen einer Liste um mehr über diese zu erfahren oder um sie zu abonnieren, zu kündigen oder die Optionen Ihres Abonnements anzupassen.Um die Informationsseite einer nicht öffentlichen Liste zu besuchen, benutzen Sie eine URL wie jetzt, aber mit einem '/' und dem Listennamen angehängt.

Für Administratoren der Listen gibt es die Seite Übersichtsseite für Listenadministratoren zur Verwaltung der eigenen Liste.

Bei Fragen und Kommentaren senden Sie bitte an an mailman@mailman.sse.cit.tum.de.

   
Liste Beschreibung
Afp-submit [keine Beschreibung verfügbar]
Club2 Regular seminar announcements of the Isabelle group
I22-alumni [keine Beschreibung verfügbar]
Isabelle-ci [keine Beschreibung verfügbar]
isabelle-dev Isabelle Developer List
Spedit [keine Beschreibung verfügbar]

Delivered by Mailman
version 2.1.26
Python Powered GNU's Not Unix Debian Powered