D120.de/forum

Wer's ausprobieren will: Im Frankfurter Hauptbahnhof steht (bzw. stand vor ein paar Monaten) so ein Ding (Tiefebene, beim Aufgang Gleis 12/13).

Probier mal STARTTLS statt SSL/TLS. Der Rest müsst eigentlich stimmen.

Um mal von Anekdoten zur Empirie zu kommen – nach kurzer Recherche bleibt eigentlich nur festzustellen, dass es kein annähernd perfektes System gibt ... Am schlechtesten schneiden dabei Auswahlgespräche ab (mit großen Unterschieden, je nach Art des Gespräches): Das Interesse an Kriterien und eignung...

Ich habe ja ein wenig mit mir ringen müssen (ungeplante Ausgabe eben), aber für 120€ nehme ich ihn.

Oh, haben sies endlich geschafft wieder auf die normale Strecke umzustellen :-) Dann will ich natürlich nichts gesagt haben :wink: Schon ne ganze Weile :-) Jepp, seit fast zwei Monaten: Linie 3 ab 7. 8. wieder auf regulärem Kurs Ursache für Entgleisung nicht eindeutig - Maßnahmen an Schienen und Ba...

Hallo zusammen, für eine kleine Benutzerstudie zur Evaluation eines Interfaces werden von Fachgebiet SEEMOO noch Teilnehmer gesucht. Das Ganze dauert ca. 30 Minuten, bezahlt wird in Schokolade ;-) Tragt euch bitte ein, wenn ihr teilnehmen möchtet: Dienstag im CASED, S4|14 Donnerstag bei KOM, S3|20 B...

Ich habe zusätzlich noch die "com.google.java.contract.sourcepath"-Einstellung gesetzt, wie in dem Google Groups-Thread noch erwähnt. Seitdem habe ich keine Fehlermeldungen von Cofoja im Eclipse Logfile mehr. Funktioniert hat's vorher durchaus schon, es war nur manchmal ein "Clean" notwendig. Das is...

Es gibt übrigens noch eine deutlich bessere Methode, Cofoja in Eclipse zu integrieren, insbesondere bei Syntax-Fehlern o.ä. sehr praktisch. Auf der Cofoja-Seite ist auch der entsprechende Link zu einem Blogbeitrag. Oder, um's kurz zu machen, für die Übung müssen folgende Einstellung (Projekteigensch...

Sollen wir sagen, ob und warum wir der Aussage „An axis of change is an axis of change only if the change actually occurs“ zustimmen? Oder sollen wir die Frage "Was ist mit „An axis of change is an axis of change only if the change actually occurs“ gemeint?" beantworten? (Was ja ein Unterschied ist...

Eine kleine Frage zur Aufgabe 1 hätten wir noch: Bei der 4. Aussage ist uns nicht ganz klar, was wir tun sollen. Sollen wir sagen, ob und warum wir der Aussage „An axis of change is an axis of change only if the change actually occurs“ zustimmen? Oder sollen wir die Frage "Was ist mit „An axis of ch...

Könnte mir auch jemand die URL per PN schicken? Danke

Exitcode 1 signalisiert auch einen Fehler, 0 müsste er sein. Im TU-Design funktioniert es mit diesen Packages (getestet mit der Beispieldatei TUD_doc.tex, TeX-Paket MacTeX Live 2009): \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} Musst dann halt UTF-8 nehmen, aber das sollte ja wohl kein Prob...

Es gibt übrigens ein eigenes Forum bei den E-Technikern für das LaTeX-TU-Design: http://tuddesign-latex.fs-etit.de/ (Da kam die Eingangsfrage auch schon auf)

Oder einfach die entsprechenden Unicode-Zeichen verwenden. Funktioniert auch.

Hallo, im Ordner "Substitutions" - "Applications to Variables, Terms andTermlists" - "Application Properties" ist ein Lemma doppelt vorhanden: lemma v ⊀ l → ((v∙t)::σ ⊫ l) = (σ ⊫ l) <= ∀ v, t : term, σ : list[pair[variable.symbol, term]], l : list[term] if{?var(v), if{v ≺ l, true, ((vsym(v) ∙ t) :: ...