mailman46.in.tum.de E-Mail Listen - Administrative Links |
|
Willkommen! Dies ist eine Auflistung aller öffentlich verfügbaren Mailman Mailinglisten auf mailman46.in.tum.de. Wählen Sie einen Listen-Namen, um die Konfigurationsseiten für diese Liste zu sehen.Um die Konfigurationsseite für eine nicht öffentlich verfügbare Liste zu sehen, hängen sie einfach '/' und den an diese Adresse an. Falls Sie die erforderliche Zugangsberechtigung haben, können sie auch eine neue Liste einrichten. Allgemeine Listeninformationen sind unter die Übersichtsseite für die Liste. (Bitte senden Sie Fragen oder Kommentare 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] |
version 2.1.26 |