home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: de.comp.tex
- Path: sparky!uunet!math.fu-berlin.de!news.netmbx.de!Germany.EU.net!ubrinf!lehre24!ms
- From: ms@lehre24.informatik.Uni-Bremen.DE (Martin Schroeder)
- Subject: Re: Metafont -- Probleme mit Proofs
- Message-ID: <1992Nov23.122931.10054@informatik.uni-bremen.de>
- Keywords: Metafont, GFtoDVI, Proofs, gray
- Sender: ms@lehre24 (Martin Schroeder)
- Nntp-Posting-Host: lehre24
- Reply-To: l15d@alf.zfn.Uni-Bremen.de
- Organization: Universitaet Bremen
- References: <1992Nov19.162707.11188@informatik.uni-bremen.de>
- Date: Mon, 23 Nov 1992 12:29:31 GMT
- Lines: 40
-
- Inzwischen bin ich ein wenig weiter -- immerhin habe ich f"ur meinen Drucker (NEC P6 mit 360dpi)
- einen passenden gray-font erzeugt, um Proofs in vern"unftiger Gr"o"se erzeugen zu k"onnen:
-
- ---------------------------------------
- if mode<>nec_p_six_hd: errmessage "This file is for p6_hd only"; fi
-
- font_identifier "GRAYHD41";
-
- picture pix_picture;
- pix_wd := pix_ht := 4;
- pix_picture := unitpixel scaled 1;
-
- boolean lightweight;
-
- input grayf
- ---------------------------------------
- Was damit aber nicht geht, sind Vergr"o"serungen (mit rep), da pix_picture benutzt wird.
- Ich suche also immer noch
- - einen gray-font f"ur den Atari SM 124
- - einen gray-font f"ur den NEC P6 mit 180dpi
- - einen gray-font f"ur den HP Laserjet II mit 300dpi
- - eine Erkl"arung, warum der normale gray-font (ohne pix_picture) so gro"s wird.
-
- Falls ich Antworten per e-mail bekomme, werde ich eine Zusammenfa"sung posten.
-
- --
- Martin "ZDF, the final frontier. These are the voyages
- of a buerokratic cencor agency, it's continuing
- mission to destroy the hopes of their fans, to
- seek out new threats for their favourite films
- to boldly cut, where no one has cut a film before ..."
-
- ;-)
-
- --
- Martin Schr"oder, Computer Science student -=-=- University of Bremen, Germany
- Internet: l15d@alf.zfn.uni-bremen.de
- --- Wer, wie, was? Wieso, weshalb, warum? Wer nichts fragt bleibt dumm. ---
-
-
-