[PUG] TeXmacs Dateien konvertieren

Hallo Liste, Ich würde gerne meine mit TeXmacs erstellten .tm, .tp oder .ts Dateien in andere Formate, wie z.B. Pdf konvertieren. Ich habe keine Ahnung, was das für Formate sind und welche Programme sie noch verwenden. Gibt es vielleicht irgendeine Konvertierungssoftware? Danke für Hilfen,

Re: [PUG] Re: TeXmacs Dateien konvertieren

Hallo, Datei - Exportieren redet von LaTeX und PostScript. Aus beidem kannst Du PDF machen (pdflatex und ps2pdf). Das Format ist scheinbar ein eigenes. Aha, Danke, so gehts. Bemerkung am Rande: Warum verwendest Du texmacs? Ich finde die Idee nicht schlecht, bin aber jetzt von LaTeX

[PUG] 2 Fragen zu Fvwm2 und Xfce

) Zu Xfce: Kann ich den mit einem anderen Windowmanager als dem voreingestellten betreiben? Danke für Hilfen, Hans-Christian Hönes PUG - Penguin User Group Wiesbaden - http://www.pug.org

[PUG] Freies Bios

hallo ihr Ich habe mal was von einem freien Bios gehört. Die scheinen aber noch nicht sehr weit zu sein. Weiß einer in wie weit sowas wie LinuxBIOS benutzbar ist? Sollen diese Dinger überhaupt was Benutzbares werden, oder soll das nur die Möglichkeit demonstrieren? Hans-Christian Hönes

[PUG] Hurd = Hird of ?

Hallo Liste Wenn Du das seltsam findest, solltest Du Dir erstmal anschauen, was HURD bedeutet. Also, Hurd heißt ja Hird of Unix-Replacing Daemons, Hird heißt aber wieder Hurd of Interfaces Representing Depth. Heißt dann Hurd ausgeschrieben Hurd of Interfaces Representing Depth of

[PUG] Grafischen Login abstellen

Hallo Liste, ich habe bei meiner Red Hat 7.2 momentan den grafischen GNOME Login aktiviert. Ich würde mich aber lieber am Text Login einloggen. Wie kann ich den grafischen Login also abstellen? Hans-Christian PUG -

Re: [PUG] newbie-Frage-Speicher-der-Grafikkarte-ermitteln

On 04 Apr 2002 16:22:47 +0200 Laurence Tonke [EMAIL PROTECTED] wrote: cat /proc/pci gibt dir z.B. folgendes aus: Ob das mit anderen Grafikkarten auch so geht... Wenn du eine AGP Grafikkarte hast, ja.

Re: Re[2]: [PUG] Gentoo

MS Wer zahlt für deren Datentransfer? -- Eigentlich habe ich keine Ahnung, könnte mir aber zwei Saachen vorstellen: 1. Sponsoren Auf der Seite ist Werbung für Crucial. Darüber steht dann Purchase RAM using this link, and a percentage of your sale will go towards further

Re: [PUG] Endnoten in HTML

Hallo, kannst du mir sagen, was eine 'Endnote' sein soll ?? Also, ein Endnote ist im Prinzip das gleiche wie eine Fußnote. Der Unterschied ist, dass Fußnoten immer am Ende der jeweiligen Seite stehen, Endnoten aber ganz am Ende des Dokumentes. Hans-Christian Hönes

[PUG] Endnoten in HTML

Hallo Liste, Weiß einer von euch, wie man in HTML Endnoten schreiben kann? Gibt es einen speziellen Tag oder muss man jede von Hand schreiben? Danke schon im Vorraus, Hans-Christian PUG - Penguin User Group Wiesbaden

Re: [PUG] Anfrage-Linux-an-Schulen

Also bei uns an der Schule ist es besonders toll. Wir hatten mal Linux, das wurde aber wieder entfernt, da es angeblich zu kompliziert war. Jetzt sind wir offizieller Microsoft Partner und alle Rechner laufen unter Windows mit Office. Kann uns Schülern aber auch egal sein, da wir noch nie an

[PUG] Hallo

wäre und überlege jetzt ob ich das auch einmal ausprobieren sollte. Naja, wäre nett wenn`s einer weiß. Hans-Christian Hönes PUG - Penguin User Group Wiesbaden - http://www.pug.org