[Pkg-haskell-commits] darcs: darcs: Historic import 1.0.2+1.0.3rc1-1.
Isaac Jones
ijones at debian.org
Sat Mar 6 11:44:21 UTC 2010
Thu May 12 05:01:02 UTC 2005 Isaac Jones <ijones at debian.org>
* Historic import 1.0.2+1.0.3rc1-1.
Ignore-this: 61dc36adfa3bcc2bdb99b6f9e0b56957
./patches/debian-changes-1.0.2-1 -> ./patches/debian-changes-1.0.2+1.0.3rc1-1
M ./NEWS.upstream +55
M ./changelog +26
M ./control -1 +1
M ./copyright -1 +1
M ./patches/debian-changes-1.0.2+1.0.3rc1-1 -5628 +7665
M ./patches/series -1 +1
Thu May 12 05:01:02 UTC 2005 Isaac Jones <ijones at debian.org>
* Historic import 1.0.2+1.0.3rc1-1.
Ignore-this: 61dc36adfa3bcc2bdb99b6f9e0b56957
diff -rN -u old-darcs/changelog new-darcs/changelog
--- old-darcs/changelog 2010-03-06 11:44:18.158392528 +0000
+++ new-darcs/changelog 2010-03-06 11:44:21.078547477 +0000
@@ -1,3 +1,29 @@
+darcs (1.0.2+1.0.3rc1-1) unstable; urgency=low
+
+ * New upstream release
+ * Funny version number to sort correctly when 1.0.3 is released.
+ * From upstream announcement:
+ * One of the most visible changes from 1.0.2 is the new colorization and
+ escaping of printed patches, implemented by Tommy Pettersson. It can
+ protect from maliciously inserted special characters and will show
+ trailing spaces. Fine-grained customisation is possible through use of
+ environment variables.
+ * The other nice new feature, also implemented by Tommy, is the enhanced
+ interface for unrecord and unpull, similar to that in pull. It allows to
+ unrecord/unpull several patches at once, taking dependencies into
+ account.
+ * Benedikt Schmidt improved the add command to automatically add all
+ parent directories of the added file. He also added --sendmail-command
+ option to 'send' - it allows the user to send patch bundles with a
+ program of his/her own choice.
+ * Karel Gardas implemented an often requested change to whatsnew, namely
+ that --look-for-adds implies --summary.
+ * A number of bugs have been fixed since the previous release, most
+ notably the mysterious "createDirectory bug" or the bug that made darcs
+ insist that there is a conflict when there was none.
+
+ -- Isaac Jones <ijones at debian.org> Wed, 11 May 2005 22:01:02 -0700
+
darcs (1.0.2-1) unstable; urgency=low
* New upstream release
diff -rN -u old-darcs/control new-darcs/control
--- old-darcs/control 2010-03-06 11:44:18.158392528 +0000
+++ new-darcs/control 2010-03-06 11:44:21.078547477 +0000
@@ -2,7 +2,7 @@
Section: devel
Priority: optional
Maintainer: Isaac Jones <ijones at debian.org>
-Build-Depends: ghc6 (>> 6.2), tetex-extra, libcurl3-dev, debhelper (>> 4.0), tetex-bin, tex4ht | latex2html | hevea, exim4 | mail-transport-agent
+Build-Depends: ghc6 | ghc5 (>> 5.04), libcurl2-dev | libcurl3-dev, debhelper (>> 4.0), tetex-bin, tex4ht | latex2html | hevea
Standards-Version: 3.6.1.0
Package: darcs
diff -rN -u old-darcs/copyright new-darcs/copyright
--- old-darcs/copyright 2010-03-06 11:44:18.158392528 +0000
+++ new-darcs/copyright 2010-03-06 11:44:18.198394650 +0000
@@ -7,7 +7,7 @@
Copyright:
- This software is copyright (c) 2002,2003 David Roundy
+ This software is copyright (c) 2002-2005 David Roundy
You are free to distribute this software under the terms of
the GNU General Public License.
diff -rN -u old-darcs/NEWS.upstream new-darcs/NEWS.upstream
--- old-darcs/NEWS.upstream 2010-03-06 11:44:18.158392528 +0000
+++ new-darcs/NEWS.upstream 2010-03-06 11:44:18.214395499 +0000
@@ -1,3 +1,58 @@
+darcs (1.0.3rc1-1) unstable; urgency=low
+
+ * Upstream News (From Tomasz Zielonka)
+ * Since our last formal release, there has been a surge of interest in
+ darcs, which has been reflected in the steady flow of patch submissions,
+ bug reports and group discussion. Thanks to all of our many
+ contributors!
+
+ * One of the most visible changes from 1.0.2 is the new colorization and
+ escaping of printed patches, implemented by Tommy Pettersson. It can
+ protect from maliciously inserted special characters and will show
+ trailing spaces. Fine-grained customisation is possible through use of
+ environment variables.
+
+ * The other nice new feature, also implemented by Tommy, is the enhanced
+ interface for unrecord and unpull, similar to that in pull. It allows to
+ unrecord/unpull several patches at once, taking dependencies into
+ account.
+
+ * Benedikt Schmidt improved the add command to automatically add all
+ parent directories of the added file. He also added --sendmail-command
+ option to 'send' - it allows the user to send patch bundles with a
+ program of his/her own choice.
+
+ * Karel Gardas implemented an often requested change to whatsnew, namely
+ that --look-for-adds implies --summary.
+
+ * A number of bugs have been fixed since the previous release, most
+ notably the mysterious "createDirectory bug" or the bug that made darcs
+ insist that there is a conflict when there was none.
+
+ * More than ten people contributed to darcs' test suite. Apart from adding
+ and improving tests there was much work on improving the darcs testing
+ framework by Mark Stosberg, Michael Schwern and Tommy Pettersson.
+
+ * This version of darcs can be compiled with GHC 6.2.2 or with the
+ recently released GHC 6.4.
+
+ * For more details see the ChangeLog or, if you are more curious, the
+ output of "darcs changes --from-tag 1.0.2".
+
+ * There is much exciting development happening in the unstable darcs
+ branch which won't make it into darcs 1.0.3. Josef Svenningsson
+ implemented a 'put' command. Benedikt Schmidt implemented a faster
+ diffing algorithm. David Roundy and Ian Lynagh are working hard on
+ speeding up darcs and they have very promising results.
+
+ * As I said, we won't put these improvements into 1.0.3 and until the
+ final release we'll only add bugfixes, etc. But don't worry, we plan to
+ release the next version of darcs with all this good stuff soon
+ afterwards.
+
+
+ -- Isaac Jones <ijones at debian.org> Wed, 11 May 2005 22:31:32 -0700
+
darcs (1.0.0-1) unstable; urgency=low
* Upstream News (From David Roundy):
diff -rN -u old-darcs/patches/debian-changes-1.0.2-1 new-darcs/patches/debian-changes-1.0.2-1
--- old-darcs/patches/debian-changes-1.0.2-1 2010-03-06 11:44:18.154392315 +0000
+++ new-darcs/patches/debian-changes-1.0.2-1 1970-01-01 00:00:00.000000000 +0000
@@ -1,13859 +0,0 @@
---- darcs-1.0.2.orig/darcs.css
-+++ darcs-1.0.2/darcs.css
-@@ -1,82 +1,205 @@
--BODY {
-- background: white;
-- color: black;
-- font-family: arial,sans-serif;
-- margin: 0;
-- padding: 1em;
--}
--
--A:link {
-- background: transparent;
-- color: #494a82;
--}
--
--A:visited {
-- background: transparent;
-- color: #8081b3
--}
--
--PRE {
-- background: #eeeeee;
-- border: 1px solid #888888;
-- color: black;
-- padding: 1em;
-- white-space: pre;
--}
--
--H1 {
-- color: #494a82;
-- font-size: 24px ;
--}
--
--H2 {
-- color: #494a82;
-- font-size: 18px;
--}
--
--H3 {
-- color: #494a82;
-- font-size: 16px;
--}
--
--H4 {
-- color: #494a82;
-- font-size: 14px;
--}
--
--/* headers for darcs command options */
--.cmd-opt-hdr {
-- color: #494a82;
-- font-size: 14px;
-- font-weight: bold;
--}
--
--/* begin styles for RSS Feed This is the most basic style to use for a list with no bullets */
--
--.rss_title, rss_title a {
-- margin: 0px 0;
-- padding: 0;
--}
--
--.rss_items {
-- list-style:none;
-- margin:0;
-- padding:0;
--}
--
--.rss_item {
--/* font-size: x-small; */
-- margin-bottom: 1em;;
--}
--
--.rss_item a:link, .rss_item a:visited, .rss_item a:active {
--
-- }
--
--.rss_item a:hover {
--
-- }
--
--.rss_date {
-- font-size: xx-small;
-- }
-+
-+/* start css.sty */
-+.cmr-7{font-size:70%;}
-+.cmmi-10{font-style: italic;}
-+.cmsy-7{font-size:70%;}
-+.cmr-17{font-size:170%;}
-+.cmti-12x-x-120{font-size:144%; font-style: italic;}
-+.cmr-12{font-size:120%;}
-+.cmtt-10{font-family: monospace;}
-+.cmbx-10{ font-weight: bold;}
-+.cmti-10{ font-style: italic;}
-+.cmcsc-10x-x-144{font-size:144%;}
-+.small-caps{font-variant: small-caps; }
-+p.noindent { text-indent: 0em }
-+p.nopar { text-indent: 0em; }
-+p.indent{ text-indent: 1.5em }
-+a img { border-top: 0; border-left: 0; border-right: 0; }
-+center { margin-top:1em; margin-bottom:1em; }
-+td center { margin-top:0em; margin-bottom:0em; }
-+.Canvas { position:relative; }
-+img.math{vertical-align:middle;}
-+li p.indent { text-indent: 0em }
-+span.footnotetext{ font-size:80%; font-style:italic; }
-+.obeylines-h,.obeylines-v {white-space: nowrap; }
-+.overline{ text-decoration:overline; }
-+.overline img{ border-top: 1px solid black; }
-+td.displaylines {text-align:center; white-space:nowrap;}
-+.centerline {text-align:center;}
-+.rightline {text-align:right;}
-+div.verbatim {font-family: monospace; white-space: nowrap; }
-+span.fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
-+div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em; margin-top:0.5em; margin-bottom:0.5em;}
-+div.center div {text-align: left;}
-+div.flushright, div.flushright div.flushright {text-align: right;}
-+div.flushright div {text-align: left;}
-+div.flushleft {text-align: left;}
-+.underline{ text-decoration:underline; }
-+.underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
-+.framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
-+.framebox-c {text-align:center;}
-+.framebox-l {text-align:left;}
-+.framebox-r {text-align:right;}
-+div.array {text-align:center;}
-+div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em;}
-+table.tabular td p{margin-top:0em;}
-+div.td00{ margin-left:0pt; margin-right:0pt; }
-+div.td01{ margin-left:0pt; margin-right:5pt; }
-+div.td10{ margin-left:5pt; margin-right:0pt; }
-+div.td11{ margin-left:5pt; margin-right:5pt; }
-+td.td00{ padding-left:0pt; padding-right:0pt; }
-+td.td01{ padding-left:0pt; padding-right:5pt; }
-+td.td10{ padding-left:5pt; padding-right:0pt; }
-+td.td11{ padding-left:5pt; padding-right:5pt; }
-+.hline hr, .cline hr{ height : 1px; }
-+.tabbing-right {text-align:right;}
-+div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
-+span.TEX {letter-spacing: -0.125em; }
-+span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
-+a span.TEX span.E {text-decoration: none; }
-+span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
-+span.LATEX span.TEX{ position:relative; left: -0.4em; }
-+.marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
-+.marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
-+div.float {text-align:center;}
-+div.figure {text-align:center;}
-+.equation td{text-align:center; }
-+td.equation { margin-top:1em; margin-bottom:1em; }
-+td.eqnarray4 { width:5%; white-space: normal; }
-+td.eqnarray2 { width:5%; }
-+table.eqnarray-star, table.eqnarray {width:100%;}
-+div.eqnarray{text-align:center;}
-+div.pmatrix {text-align:center;}
-+span.pmatrix img{vertical-align:middle;}
-+div.pmatrix {text-align:center;}
-+img.cdots{vertical-align:middle;}
-+.partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
-+.chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {line-height: 200%; font-weight:bold;}
-+.caption td.id{font-weight: bold; white-space: nowrap; }
-+table.caption {text-align:center;}
-+h1.partHead{text-align: center}
-+p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
-+p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
-+.paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
-+.subparagraphHead, .likesubparagraphHead { font-weight: bold;}
-+.quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
-+.verse{white-space:nowrap; margin-left:2em}
-+div.maketitle {text-align:center;}
-+h2.titleHead{text-align:center;}
-+div.maketitle{ margin-bottom: 2em; }
-+div.author, div.date {text-align:center;}
-+div.thanks{text-align:left; margin-left:10%; font-size:80%; font-style:italic; }
-+div.author{white-space: nowrap;}
-+.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
-+h1.partHead{text-align: center}
-+div.verbatiminput {font-family: monospace; white-space: nowrap; }
-+P.fancyvrb {white-space: nowrap; margin:0em;}
-+div#fancyvrb1{ border-top: solid 0.4pt; }
-+div#fancyvrb1{ border-bottom: solid 0.4pt; }
-+div#fancyvrb2{ border-top: solid 0.4pt; }
-+div#fancyvrb2{ border-bottom: solid 0.4pt; }
-+div#fancyvrb3{ border-top: solid 0.4pt; }
-+div#fancyvrb3{ border-bottom: solid 0.4pt; }
-+div#fancyvrb4{ border-top: solid 0.4pt; }
-+div#fancyvrb4{ border-bottom: solid 0.4pt; }
-+div#fancyvrb5{ border-top: solid 0.4pt; }
-+div#fancyvrb5{ border-bottom: solid 0.4pt; }
-+div#fancyvrb6{ border-top: solid 0.4pt; }
-+div#fancyvrb6{ border-bottom: solid 0.4pt; }
-+div#fancyvrb7{ border-top: solid 0.4pt; }
-+div#fancyvrb7{ border-bottom: solid 0.4pt; }
-+div#fancyvrb8{ border-top: solid 0.4pt; }
-+div#fancyvrb8{ border-bottom: solid 0.4pt; }
-+div#fancyvrb9{ border-top: solid 0.4pt; }
-+div#fancyvrb9{ border-bottom: solid 0.4pt; }
-+div#fancyvrb10{ border-top: solid 0.4pt; }
-+div#fancyvrb10{ border-bottom: solid 0.4pt; }
-+div#fancyvrb11{ border-top: solid 0.4pt; }
-+div#fancyvrb11{ border-bottom: solid 0.4pt; }
-+div#fancyvrb12{ border-top: solid 0.4pt; }
-+div#fancyvrb12{ border-bottom: solid 0.4pt; }
-+div#fancyvrb13{ border-top: solid 0.4pt; }
-+div#fancyvrb13{ border-bottom: solid 0.4pt; }
-+div#fancyvrb14{ border-top: solid 0.4pt; }
-+div#fancyvrb14{ border-bottom: solid 0.4pt; }
-+div#fancyvrb15{ border-top: solid 0.4pt; }
-+div#fancyvrb15{ border-bottom: solid 0.4pt; }
-+div#fancyvrb16{ border-top: solid 0.4pt; }
-+div#fancyvrb16{ border-bottom: solid 0.4pt; }
-+div#fancyvrb17{ border-top: solid 0.4pt; }
-+div#fancyvrb17{ border-bottom: solid 0.4pt; }
-+div#fancyvrb18{ border-top: solid 0.4pt; }
-+div#fancyvrb18{ border-bottom: solid 0.4pt; }
-+div#fancyvrb19{ border-top: solid 0.4pt; }
-+div#fancyvrb19{ border-bottom: solid 0.4pt; }
-+div#fancyvrb20{ border-top: solid 0.4pt; }
-+div#fancyvrb20{ border-bottom: solid 0.4pt; }
-+div#fancyvrb21{ border-top: solid 0.4pt; }
-+div#fancyvrb21{ border-bottom: solid 0.4pt; }
-+div#fancyvrb22{ border-top: solid 0.4pt; }
-+div#fancyvrb22{ border-bottom: solid 0.4pt; }
-+div#fancyvrb23{ border-top: solid 0.4pt; }
-+div#fancyvrb23{ border-bottom: solid 0.4pt; }
-+div#fancyvrb24{ border-top: solid 0.4pt; }
-+div#fancyvrb24{ border-bottom: solid 0.4pt; }
-+div#fancyvrb25{ border-top: solid 0.4pt; }
-+div#fancyvrb25{ border-bottom: solid 0.4pt; }
-+div#fancyvrb26{ border-top: solid 0.4pt; }
-+div#fancyvrb26{ border-bottom: solid 0.4pt; }
-+div#fancyvrb27{ border-top: solid 0.4pt; }
-+div#fancyvrb27{ border-bottom: solid 0.4pt; }
-+div#fancyvrb28{ border-top: solid 0.4pt; }
-+div#fancyvrb28{ border-bottom: solid 0.4pt; }
-+div#fancyvrb29{ border-top: solid 0.4pt; }
-+div#fancyvrb29{ border-bottom: solid 0.4pt; }
-+div#fancyvrb30{ border-top: solid 0.4pt; }
-+div#fancyvrb30{ border-bottom: solid 0.4pt; }
-+div#fancyvrb31{ border-top: solid 0.4pt; }
-+div#fancyvrb31{ border-bottom: solid 0.4pt; }
-+div#fancyvrb32{ border-top: solid 0.4pt; }
-+div#fancyvrb32{ border-bottom: solid 0.4pt; }
-+div#fancyvrb33{ border-top: solid 0.4pt; }
-+div#fancyvrb33{ border-bottom: solid 0.4pt; }
-+div#fancyvrb34{ border-top: solid 0.4pt; }
-+div#fancyvrb34{ border-bottom: solid 0.4pt; }
-+div#fancyvrb35{ border-top: solid 0.4pt; }
-+div#fancyvrb35{ border-bottom: solid 0.4pt; }
-+div#fancyvrb36{ border-top: solid 0.4pt; }
-+div#fancyvrb36{ border-bottom: solid 0.4pt; }
-+div#fancyvrb37{ border-top: solid 0.4pt; }
-+div#fancyvrb37{ border-bottom: solid 0.4pt; }
-+div#fancyvrb38{ border-top: solid 0.4pt; }
-+div#fancyvrb38{ border-bottom: solid 0.4pt; }
-+div#fancyvrb39{ border-top: solid 0.4pt; }
-+div#fancyvrb39{ border-bottom: solid 0.4pt; }
-+div#fancyvrb40{ border-top: solid 0.4pt; }
-+div#fancyvrb40{ border-bottom: solid 0.4pt; }
-+div#fancyvrb41{ border-top: solid 0.4pt; }
-+div#fancyvrb41{ border-bottom: solid 0.4pt; }
-+div#fancyvrb42{ border-top: solid 0.4pt; }
-+div#fancyvrb42{ border-bottom: solid 0.4pt; }
-+div#fancyvrb43{ border-top: solid 0.4pt; }
-+div#fancyvrb43{ border-bottom: solid 0.4pt; }
-+div#fancyvrb44{ border-top: solid 0.4pt; }
-+div#fancyvrb44{ border-bottom: solid 0.4pt; }
-+div#fancyvrb45{ border-top: solid 0.4pt; }
-+div#fancyvrb45{ border-bottom: solid 0.4pt; }
-+div#fancyvrb46{ border-top: solid 0.4pt; }
-+div#fancyvrb46{ border-bottom: solid 0.4pt; }
-+div#fancyvrb47{ border-top: solid 0.4pt; }
-+div#fancyvrb47{ border-bottom: solid 0.4pt; }
-+div#fancyvrb48{ border-top: solid 0.4pt; }
-+div#fancyvrb48{ border-bottom: solid 0.4pt; }
-+div#fancyvrb49{ border-top: solid 0.4pt; }
-+div#fancyvrb49{ border-bottom: solid 0.4pt; }
-+div#fancyvrb50{ border-top: solid 0.4pt; }
-+div#fancyvrb50{ border-bottom: solid 0.4pt; }
-+div#fancyvrb51{ border-top: solid 0.4pt; }
-+div#fancyvrb51{ border-bottom: solid 0.4pt; }
-+div#fancyvrb52{ border-top: solid 0.4pt; }
-+div#fancyvrb52{ border-bottom: solid 0.4pt; }
-+div#fancyvrb53{ border-top: solid 0.4pt; }
-+div#fancyvrb53{ border-bottom: solid 0.4pt; }
-+div#fancyvrb54{ border-top: solid 0.4pt; }
-+div#fancyvrb54{ border-bottom: solid 0.4pt; }
-+/* end css.sty */
---- darcs-1.0.2.orig/.depend
-+++ darcs-1.0.2/.depend
-@@ -705,6 +705,7 @@ unit.o : PatchTest.hi
- unit.o : Patch.hi
- unit.o : ./FastPackedString.hi
- Curl.o : Curl.hs
-+Curl.o : Autoconf.hi
- DarcsURL.o : DarcsURL.hs
- DarcsURL.o : DarcsUtils.hi
- Email.o : Email.hs
---- darcs-1.0.2.orig/config.command
-+++ darcs-1.0.2/config.command
-@@ -1,2 +1,2 @@
--# configured Fri Feb 4 08:32:57 EST 2005
--sh ./configure
-+# configured Sat Feb 12 13:41:40 PST 2005
-+sh ./configure --prefix=/usr --sysconfdir=/etc --libexecdir=/usr/lib --mandir=/usr/share/man
---- darcs-1.0.2.orig/c_context.c
-+++ darcs-1.0.2/c_context.c
-@@ -1,5 +1,17 @@
- static const char context_string_value[] =
-- "unknown\n"
-+ "# configured Sat Feb 12 13:41:40 PST 2005\n"
-+ "sh ./configure --prefix=/usr --sysconfdir=/etc --libexecdir=/usr/lib --mandir=/usr/share/man\n"
-+ "\n"
-+ "Context:\n"
-+ "\n"
-+ "[ removed obsolete NEWS files\n"
-+ "Isaac Jones <ijones at syntaxpolice.org>**20050212211000] \n"
-+ "\n"
-+ "[syncinc with my debian repo after 1.0.0 bug\n"
-+ "Isaac Jones <ijones at syntaxpolice.org>**20050212205746] \n"
-+ "\n"
-+ "[TAG 1.0.2\n"
-+ "David Roundy <droundy at abridgegame.org>**20050204123805] \n"
- "";
- char *context_string(void) {
- return (char *) context_string_value;
---- darcs-1.0.2.orig/darcs_print.ps
-+++ darcs-1.0.2/darcs_print.ps
-@@ -10,7 +10,7 @@
- %DVIPSWebPage: (www.radicaleye.com)
- %DVIPSCommandLine: dvips -t letter -o darcs_print.ps darcs_print.dvi
- %DVIPSParameters: dpi=600, compressed
--%DVIPSSource: TeX output 2005.02.04:0904
-+%DVIPSSource: TeX output 2005.02.12:1348
- %%BeginProcSet: texc.pro
- %!
- /TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S
-@@ -69,6 +69,238 @@ p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/
- rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end
-
- %%EndProcSet
-+%%BeginProcSet: f7b6d320.enc
-+% Thomas Esser, Dec 2002. public domain
-+%
-+% Encoding for:
-+% cmb10 cmbx10 cmbx12 cmbx5 cmbx6 cmbx7 cmbx8 cmbx9 cmbxsl10
-+% cmdunh10 cmr10 cmr12 cmr17cmr6 cmr7 cmr8 cmr9 cmsl10 cmsl12 cmsl8
-+% cmsl9 cmss10cmss12 cmss17 cmss8 cmss9 cmssbx10 cmssdc10 cmssi10
-+% cmssi12 cmssi17 cmssi8cmssi9 cmssq8 cmssqi8 cmvtt10
-+%
-+/TeXf7b6d320Encoding [
-+/Gamma /Delta /Theta /Lambda /Xi /Pi /Sigma /Upsilon /Phi /Psi /Omega
-+/ff /fi /fl /ffi /ffl /dotlessi /dotlessj /grave /acute /caron /breve
-+/macron /ring /cedilla /germandbls /ae /oe /oslash /AE /OE /Oslash
-+/suppress /exclam /quotedblright /numbersign /dollar /percent /ampersand
-+/quoteright /parenleft /parenright /asterisk /plus /comma /hyphen
-+/period /slash /zero /one /two /three /four /five /six /seven /eight
-+/nine /colon /semicolon /exclamdown /equal /questiondown /question /at
-+/A /B /C /D /E /F /G /H /I /J /K /L /M /N /O /P /Q /R[...incomplete...]
More information about the Pkg-haskell-commits
mailing list