You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

547 lines
20 KiB

# ChangeLog for dev-scheme/racket
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-scheme/racket/ChangeLog,v 1.4 2011/12/06 09:03:02 hkbst Exp $
06 Dec 2011; <marijn@gentoo.org> -racket-5.1.1.ebuild, racket-5.1.2.ebuild,
metadata.xml:
update manifest, rm version 5.1.1, minor change to 5.1.2
*racket-5.1.2 (11 Aug 2011)
11 Aug 2011; Marijn Schouten <hkBst@gentoo.org> racket-5.1.1.ebuild,
+racket-5.1.2.ebuild:
add 5.1.2; fix license following clarification by upstream; rm unused
autotools eclass
28 May 2011; Thomas Kahle <tomka@gentoo.org> racket-5.1.1.ebuild:
~x86 keyword added per bug 366765
*racket-5.1.1 (10 May 2011)
10 May 2011; Marijn Schouten <hkBst@gentoo.org> +racket-5.1.1.ebuild,
+metadata.xml:
Move from plt-scheme to racket. Add version 5.1.1
25 Feb 2011; Kevin McCarthy <signals@gentoo.org> plt-scheme-4.2.2.ebuild:
Update depends from media-libs/jpeg to virtual/jpeg
20 Jun 2010; Panagiotis Christopoulos <pchrist@gentoo.org>
-plt-scheme-4.1.ebuild, -plt-scheme-4.1.2.ebuild,
-files/plt-scheme-4.1.2-as_needed.patch, -plt-scheme-4.1.3.ebuild,
-plt-scheme-4.1.4.ebuild, -plt-scheme-4.1.5.ebuild,
-plt-scheme-4.2.ebuild, -plt-scheme-4.2.1.ebuild,
-files/plt-scheme-372-as_needed.patch, -files/typo.patch:
Clean up old ebuilds and dropping stable support, wrt (libpng14) bug
#305053
11 May 2010; Samuli Suominen <ssuominen@gentoo.org>
plt-scheme-4.2.2.ebuild, +files/plt-scheme-4.2.2-libpng14.patch:
Fix building with libpng 1.4.x wrt #319253 by Dmitry Kravtsov.
*plt-scheme-4.2.2 (09 Oct 2009)
09 Oct 2009; Marijn Schouten <hkBst@gentoo.org> +plt-scheme-4.2.2.ebuild:
bump
03 Aug 2009; Marijn Schouten <hkBst@gentoo.org> plt-scheme-4.2.1.ebuild,
+files/typo.patch:
fix bug 280166
*plt-scheme-4.2.1 (02 Aug 2009)
02 Aug 2009; Marijn Schouten <hkBst@gentoo.org> +plt-scheme-4.2.1.ebuild:
bump
* This is the last release that includes ProfessorJ. As of the
next release, Kathy Gray who created and maintained the
Professor will move the code to planet and maintain only at a
minimal level.
* Typed Scheme 2.0 extends the type system significantly, making
it more expressive. For example, predicates applied to
selectors, such as (number? (car x)), are meaningful to the type
system.
* Faster installation of Planet packages that trigger install of
other Planet packages, because the documentation index is
updated only once after a group of packages is installed.
* The `syntax/parse' library provides macro writers with an
enhanced syntax pattern matcher that reports errors based on the
patterns' declared classes of syntax.
* Identifier mappings following the v4 dictionary interface and
naming conventions are available from the `syntax/id-table'
library.
* Redex: added `define-relation' and generalized patterns that
appear in "where" clauses to use the full Redex pattern matcher.
(This is a backwards incompatible change, but one often
requested; see the Redex release notes for details.)
* The Web Server's serializable closures are now available for
other purposes through the web-server/lang/serial-lambda
library.
* Teachpacks: small changes to universe portion of the
"universe.ss" API, plus the addition of a form for launching
many (communicating) worlds simultaneously. Bug fixes
concerning conversion to strings.
* It is now possible to create custom scribble readers with a
command characters different than `@', see
`make-at-reader/inside' and `make-at-reader'
* Note: this is likely to be the last release that includes a
solaris distribution. If you need these builds, or if you have
access to a (Sparc) Solaris machine than can be used in PLT
builds, then please let me know.
*plt-scheme-4.2 (04 Jun 2009)
04 Jun 2009; Marijn Schouten <hkBst@gentoo.org> +plt-scheme-4.2.ebuild:
bump
Internally, this version includes a conversion from C++ to Scheme
for part of the GUI toolbox --- specifically, 25k lines of code
that implement the general text and pasteboard editor. This
conversion is a start on a larger reimplementation of the GUI
toolbox. Although we believe that this change will help make PLT
Scheme better in the long run, we must expect bugs in the short
term due to porting errors. Users should therefore be aware of
the change, even though the new implementation is meant to behave
the same as previous versions.
* A new statistical profiler is now available; see the "profiler"
manual for more information. Currently, the profiler supports
only textual output, but future plans include a GUI interface
and DrScheme integration.
* The `world' teachpack is now deprecated. Its replacement
`universe' has a new interface that uses strings instead of
symbols and characters.
* Web-server: Native continuations in the stateless servlet
language support capturing continuations from untransformed
contexts; soft state library for stateless servlets.
* DrScheme's Stepper can now jump to a selected program
expression.
* New in `scheme/base': `hash-has-key?', `hash-ref!',
`in-sequences', `in-cycle'. New in `scheme': `count',
`make-list' (from `scheme/list'), `const' (from
`scheme/function').
* Some performance improvements, including faster start-up for small
programs. The latter is a result of delaying module invocations at
higher phases (compile time, meta-compile time, etc.) until
compilation is demanded at the next lower phase; this on-demand
instantiation is per-phase, as opposed to per-module within a phase.
22 Mar 2009; Marijn Schouten <hkBst@gentoo.org>
-plt-scheme-0.372-r1.ebuild, -plt-scheme-4.0.1.ebuild,
-plt-scheme-4.0.2.ebuild:
remove old versions
*plt-scheme-4.1.5 (22 Mar 2009)
22 Mar 2009; Marijn Schouten <hkBst@gentoo.org> +plt-scheme-4.1.5.ebuild:
bump
*plt-scheme-4.1.4 (21 Jan 2009)
21 Jan 2009; Marijn Schouten <hkBst@gentoo.org> +plt-scheme-4.1.4.ebuild:
bump; fixes as-needed (bug 249163)
*plt-scheme-4.1.3 (27 Nov 2008)
27 Nov 2008; Marijn Schouten <hkBst@gentoo.org> +plt-scheme-4.1.3.ebuild:
bump
17 Nov 2008; Panagiotis Christopoulos <pchrist@gentoo.org>
plt-scheme-0.372-r1.ebuild, plt-scheme-4.0.1.ebuild,
plt-scheme-4.0.2.ebuild, plt-scheme-4.1.ebuild, plt-scheme-4.1.2.ebuild:
Fix HOMEPAGE
*plt-scheme-4.1.2 (17 Nov 2008)
*plt-scheme-4.1 (17 Nov 2008)
*plt-scheme-4.0.2 (17 Nov 2008)
*plt-scheme-4.0.1 (17 Nov 2008)
*plt-scheme-0.372-r1 (17 Nov 2008)
17 Nov 2008; Panagiotis Christopoulos <pchrist@gentoo.org>
+files/plt-scheme-4.1.2-as_needed.patch,
+files/plt-scheme-372-as_needed.patch, +metadata.xml,
+plt-scheme-0.372-r1.ebuild, +plt-scheme-4.0.1.ebuild,
+plt-scheme-4.0.2.ebuild, +plt-scheme-4.1.ebuild,
+plt-scheme-4.1.2.ebuild:
Rename dev-scheme/drscheme to dev-scheme/plt-scheme. Requested in bug
246666, by Dimitris Vyzovitis <vyzo at media.mit.edu>
04 Nov 2008; Marijn Schouten <hkBst@gentoo.org> -files/360p1.patch,
-files/drscheme-301-fPIC.patch, -files/drscheme-301-no-setfont.patch,
-files/drscheme-350-fPIC.patch, -files/drscheme-352-destdir.patch,
-files/drscheme-360-DESTDIR-3m.patch, -reversion.patch,
-drscheme-360-r1.ebuild, -drscheme-360-r2.ebuild, -drscheme-360-r3.ebuild,
-drscheme-370.6_p20070725.ebuild, -drscheme-370.6_p20070725-r1.ebuild,
-drscheme-371.ebuild, -drscheme-372.ebuild, -drscheme-372-r1.ebuild:
big cleanup; remove old cruft
*drscheme-4.1.2 (04 Nov 2008)
04 Nov 2008; Marijn Schouten <hkBst@gentoo.org>
+files/drscheme-4.1.2-as_needed.patch, +drscheme-4.1.2.ebuild:
bump
18 Sep 2008; Brent Baude <ranger@gentoo.org> drscheme-4.1.ebuild:
Marking drscheme-4.1 ppc for bug 229915
25 Aug 2008; Markus Meier <maekke@gentoo.org> drscheme-4.1.ebuild:
amd64/x86 stable, bug #229915
21 Aug 2008; Marijn Schouten <hkBst@gentoo.org> drscheme-4.1.ebuild:
fix cgc use flag, disable raw-ldflags
*drscheme-4.1 (18 Aug 2008)
18 Aug 2008; Marijn Schouten <hkBst@gentoo.org> +drscheme-4.1.ebuild:
bump
28 Jul 2008; Panagiotis Christopoulos <pchrist@gentoo.org> metadata.xml:
Update metadata.xml to include USE flag descriptions. Entries taken from
profiles/use.local.desc
25 Jul 2008; Panagiotis Christopoulos <pchrist@gentoo.org>
drscheme-0.372-r1.ebuild, drscheme-4.0.1.ebuild, drscheme-4.0.2.ebuild,
drscheme-360-r1.ebuild, drscheme-360-r2.ebuild, drscheme-360-r3.ebuild:
Fix typos and cairo --> x11-libs/cairo in various ebuilds
*drscheme-4.0.1 (05 Jul 2008)
05 Jul 2008; Marijn Schouten <hkBst@gentoo.org> +drscheme-4.0.1.ebuild:
bump
04 Jul 2008; Christian Faulhammer <opfer@gentoo.org>
drscheme-0.372-r1.ebuild:
stable x86, bug 229915
*drscheme-4.0.1 (28 Jun 2008)
*drscheme-0.372-r1 (28 Jun 2008)
28 Jun 2008; Marijn Schouten <hkBst@gentoo.org> +reversion.patch,
+drscheme-0.372-r1.ebuild, +drscheme-4.0.1.ebuild:
add new major version 4.0.1 and reversion latest ~
fix bug 225215
03 Jun 2008; Tiziano Müller <dev-zero@gentoo.org>
+files/drscheme-372-as_needed.patch, drscheme-372-r1.ebuild:
Fixed compilation problems with --as-needed (bug #178661)
*drscheme-372-r1 (23 Mar 2008)
23 Mar 2008; Marijn Schouten <hkBst@gentoo.org> +drscheme-372-r1.ebuild:
add slatex support thanks to Massimo Zanetti <zanetti.massimo@gmail.com>,
bug 188118
*drscheme-372 (03 Mar 2008)
03 Mar 2008; Marijn Schouten <hkBst@gentoo.org> +drscheme-372.ebuild:
bump, bug 212130
29 Feb 2008; Carsten Lohrke <carlo@gentoo.org> drscheme-360-r1.ebuild,
drscheme-360-r2.ebuild, drscheme-360-r3.ebuild,
drscheme-370.6_p20070725.ebuild, drscheme-370.6_p20070725-r1.ebuild,
drscheme-371.ebuild:
Remove icon extension from desktop entry to match Icon Theme Specification.
*drscheme-371 (18 Aug 2007)
18 Aug 2007; Marijn Schouten <hkBst@gentoo.org> +drscheme-371.ebuild:
add 371, still same problems with xft and xrender, so still forcing to on
*drscheme-370.6_p20070725-r1 (02 Aug 2007)
02 Aug 2007; Marijn Schouten <hkBst@gentoo.org>
+drscheme-370.6_p20070725-r1.ebuild:
add new revision which enables xft and xrender, such that it won't segfault
or fail to compile
28 Jul 2007; Marijn Schouten <hkBst@gentoo.org>
drscheme-370.6_p20070725.ebuild:
fix cgc use flag behaviour
26 Jul 2007; Marijn Schouten <hkBst@gentoo.org>
drscheme-370.6_p20070725.ebuild:
fix docdir path
*drscheme-360-r3 (25 Jul 2007)
25 Jul 2007; Marijn Schouten <hkBst@gentoo.org> +files/360p1.patch,
+drscheme-360-r3.ebuild:
add patch to fix bug 186603
25 Jul 2007; Marijn Schouten <hkBst@gentoo.org> -drscheme-301-r2.ebuild,
-drscheme-352-r2.ebuild:
remove old versions
*drscheme-370.6_p20070725 (25 Jul 2007)
25 Jul 2007; Marijn Schouten <hkBst@gentoo.org>
+drscheme-370.6_p20070725.ebuild:
add drscheme-370* (bug 182898)
22 Jul 2007; Hans de Graaff <graaff@gentoo.org> drscheme-301-r2.ebuild:
Drop virtual/x11 references.
15 May 2007; Marijn Schouten <hkBst@gentoo.org> metadata.xml:
add scheme as backup herd
*drscheme-360-r2 (15 May 2007)
15 May 2007; Marijn Schouten <hkBst@gentoo.org> +drscheme-360-r2.ebuild:
add new version which has the X use flag, disable to only get mzscheme and
not drscheme
18 Mar 2007; Steve Dibb <beandog@gentoo.org> drscheme-360-r1.ebuild:
amd64 stable, bug 170813
17 Mar 2007; nixnut <nixnut@gentoo.org> drscheme-360-r1.ebuild:
Stable on ppc wrt bug 170813
14 Mar 2007; Christian Faulhammer <opfer@gentoo.org>
drscheme-360-r1.ebuild:
stable x86, bug 170813
14 Mar 2007; Patrick McLean <chutzpah@gentoo.org> drscheme-360-r1.ebuild:
Remove sgc USE flag since it doesn't compile anymore (comment #1 on bug
#170813).
04 Jan 2007; Patrick McLean <chutzpah@gentoo.org> drscheme-360-r1.ebuild:
Use MZSCHEME_DYNEXT_LINKER_FLAGS instead of modifying LDFLAGS, fixes bug
#156911. Thanks to "TGL" <degrenier@easyconnect.fr> for the fix.
04 Jan 2007; Patrick McLean <chutzpah@gentoo.org> drscheme-352-r2.ebuild,
-drscheme-360.ebuild, drscheme-360-r1.ebuild:
Modify DEPEND on x11-libs/libXft to depend on 2.1.12 or higher, fixes bug
#152564.
*drscheme-360-r1 (21 Nov 2006)
21 Nov 2006; Patrick McLean <chutzpah@gentoo.org>
+files/drscheme-360-DESTDIR-3m.patch, drscheme-360.ebuild,
+drscheme-360-r1.ebuild:
Update cairo dep to 1.2.3, Version bump, add "3m" USE flag to build support
for 3m garbage collection (builds a second binary called drscheme3m) (bug
#148673). Also will now build shared libraries rather than static ones.
*drscheme-360 (21 Nov 2006)
21 Nov 2006; Patrick McLean <chutzpah@gentoo.org>
-drscheme-359.200.ebuild, +drscheme-360.ebuild:
Version bump.
15 Nov 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-359.200.ebuild:
Remove the moving of the gl collects, fixes #155262.
*drscheme-359.200 (14 Nov 2006)
14 Nov 2006; Patrick McLean <chutzpah@gentoo.org>
+drscheme-359.200.ebuild:
New beta version, will keep these masked for now until 260 final comes out.
23 Oct 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-352-r2.ebuild:
Drop monolithic X deps and update Xft dependency to >x11-libs/libXft-2.1.9
as it won't compile against some versions below that.
18 Oct 2006; Patrick McLean <chutzpah@gentoo.org> -drscheme-352.ebuild,
-drscheme-352-r1.ebuild:
Clean up some old broken versions.
*drscheme-352-r2 (17 Oct 2006)
17 Oct 2006; Patrick McLean <chutzpah@gentoo.org> +drscheme-352-r2.ebuild:
New revision, fixes bug #151740.
*drscheme-352-r1 (13 Oct 2006)
13 Oct 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-352.ebuild,
+drscheme-352-r1.ebuild:
Replace -O? with -O2, this shouuld fix #141925 and #133888.
13 Oct 2006; Patrick McLean <chutzpah@gentoo.org>
+files/drscheme-352-destdir.patch, drscheme-352.ebuild:
Add patch from drscheme svn to fix weird problems with DESTDIR installs.
Fixes bug #146748.
07 Sep 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-352.ebuild:
Add some processing of LDFLAGS to prevent compiliation errors if the user
has LDFLAGS set.
29 Jul 2006; Patrick McLean <chutzpah@gentoo.org> -drscheme-351.ebuild,
drscheme-352.ebuild:
Remove version 351 and clean up dependencies a bit.
*drscheme-352 (28 Jul 2006)
28 Jul 2006; Patrick McLean <chutzpah@gentoo.org> +drscheme-352.ebuild:
Version bump.
28 Jul 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-351.ebuild:
Fix RDEPEND's.
27 Jul 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-351.ebuild:
Add desktop icon creation (fixes bug #38990).
*drscheme-351 (27 Jul 2006)
27 Jul 2006; Patrick McLean <chutzpah@gentoo.org>
-files/drscheme-350-destdir.patch, -drscheme-350.ebuild,
+drscheme-351.ebuild:
New version, add USE flags for "backtrace" and "sgc". Ebuild majorly
reworked to account for massive bugfixes to the build system (fixes bug
#137244). Add block againse dev-scheme/mzscheme since this now installs
a "mzscheme" binary. Drop 350 since it never worked anyway.
*drscheme-350 (09 Jul 2006)
09 Jul 2006; Patrick McLean <chutzpah@gentoo.org>
+files/drscheme-350-destdir.patch, +files/drscheme-350-fPIC.patch,
+drscheme-350.ebuild:
Version bump, adding 350 to tree masked since the ebuild is currently
broken. It compiles and installs, but won't run. Will have to look at it
again once I get some more time.
18 May 2006; Patrick McLean <chutzpah@gentoo.org> -drscheme-209-r1.ebuild:
Remove version 209 as it hasn't been ported to modular X and 301 is now
stable on all arches.
13 May 2006; Stephanie Lockwood-Childs <wormo@gentoo.org>
drscheme-301-r2.ebuild:
stable on ppc (Bug #128635)
18 May 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-301-r2.ebuild:
Add modified version of patch suggested by Wormo in comment #6 on bug #128635.
15 May 2006; Mark Loeser <halcy0n@gentoo.org> drscheme-301-r2.ebuild:
Stable on x86; bug #128635
15 May 2006; Patrick McLean <chutzpah@gentoo.org> -drscheme-301-r1.ebuild:
Stable on amd64, remove version 301-r1.
28 Apr 2006; Alec Warner <antarus@gentoo.org>
files/digest-drscheme-301-r1, Manifest:
Fixing SHA256 digest, pass four
*drscheme-301-r2 (12 Apr 2006)
12 Apr 2006; Patrick McLean <chutzpah@gentoo.org>
+files/drscheme-301-no-setfont.patch, +drscheme-301-r2.ebuild:
Version bump, adds a patch to fix segfault with modular X, fixes bug #127709.
03 Apr 2006; Patrick McLean <chutzpah@gentoo.org> -drscheme-209.ebuild:
Cleaned up some old versions.
21 Mar 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-301-r1.ebuild:
Add ~amd64.
*drscheme-209-r1 (18 Mar 2006)
18 Mar 2006; Patrick McLean <chutzpah@gentoo.org> +drscheme-209-r1.ebuild:
Revision bump, fix up sed'ing of wrapper scripts so it actually works.
20 Feb 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-301-r1.ebuild:
Fixed type in a sed expression that was changing the paths in the wrapper
scripts.
18 Feb 2006; Patrick McLean <chutzpah@gentoo.org> -drscheme-301.ebuild:
Remove version 301 as it was half-broken anyway.
*drscheme-301-r1 (17 Feb 2006)
17 Feb 2006; Patrick McLean <chutzpah@gentoo.org> drscheme-301.ebuild,
+drscheme-301-r1.ebuild:
Revision bump, make sure that no files are still referring to WORKDIR
after installation.
15 Feb 2006; Mark Loeser <halcy0n@gentoo.org> -files/digest-drscheme-205,
-files/digest-drscheme-208:
Remove stray digests
14 Feb 2006; Patrick McLean <chutzpah@gentoo.org> -drscheme-205.ebuild,
-drscheme-208.ebuild:
Clean out some old versions.
*drscheme-301 (11 Feb 2006)
11 Feb 2006; Patrick McLean <chutzpah@gentoo.org>
+files/drscheme-301-fPIC.patch, +drscheme-301.ebuild:
New version, ebuild has been almost completely rewritten. Fixed up
dependencies for modular X. Made generated scripts point to the right
installation directory. Install into /usr/lib/drscheme rather than in
/usr/share/drscheme. Added USE flags for cairo, png, jpeg, opengl and perl.
Added fPIC patch to get it to build on amd64, though on my machine it just
segfaults, so not keywording for amd64 yet.
10 Feb 2006; Patrick McLean <chutzpah@gentoo.org> metadata.xml:
I'm taking over maintainership of this package. I will be posting an updated
ebuild once testing is complete.
24 Dec 2005; Michael Hanselmann <hansmi@gentoo.org> drscheme-209.ebuild:
Stable on ppc.
09 Dec 2005; Mark Loeser <halcy0n@gentoo.org> drscheme-209.ebuild:
Stable on x86; bug #114165
30 Jul 2005; Karl Trygve Kalleberg <karltk@gentoo.org>
drscheme-209.ebuild:
Removed opengl useflag, as this now appears to be forced.
*drscheme-209 (30 Jul 2005)
30 Jul 2005; Karl Trygve Kalleberg <karltk@gentoo.org> +metadata.xml,
+drscheme-205.ebuild, +drscheme-208.ebuild, +drscheme-209.ebuild:
Moved from dev-lisp/drscheme to dev-scheme/drscheme.
21 Apr 2005; Michael Hanselmann <hansmi@gentoo.org> drscheme-208.ebuild:
Stable on ppc.
27 Feb 2005; Karl Trygve Kalleberg <karltk@gentoo.org> :
Fixed sed'ing of scripts. Should actually fix #81633.
23 Feb 2005; Karl Trygve Kalleberg <karltk@gentoo.org>
drscheme-208.ebuild:
Marked 208 as stable, which fixes #81633.
*drscheme-208 (12 Oct 2004)
12 Oct 2004; Karl Trygve Kalleberg <karltk@gentoo.org> drscheme-208.ebuild:
New upstream version. Ebuild submitted by Anders Storsveen
<wakko@generation.no>.
25 Apr 2004; Aron Griffis <agriffis@gentoo.org> drscheme-205.ebuild:
Add die following econf for bug 48950
04 Nov 2003; Karl Trygve Kalleberg <karltk@gentoo.org>
drscheme-203.ebuild, drscheme-204.ebuild, drscheme-205.ebuild:
203 and 204 do not have versioned tarballs, removing. Marking 205 as
stable.
*drscheme-205 (06 Sep 2003)
06 May 2003; Karl Trygve Kalleberg <karltk@gentoo.org> drscheme-205.ebuild:
version bump, fixed digests. Fixes #27178.
*drscheme-204 (26 May 2003)
26 May 2003; Bartosch Pixa <darkspecter@gentoo.org> drscheme-204.ebuild:
version bump, and changed SRC_URI to not use hardcoded PV
*drscheme-202 (05 Mar 2003)
05 Mar 2003; Bartosch Pixa <darkspecter@gentoo.org> drscheme-202.ebuild:
set ~ppc in keywords
*drscheme-201 (31 Oct 2002)
31 Oct 2002; Karl Trygve Kalleberg <karltk@gentoo.org> drscheme-201.ebuild files/digest-drscheme-201 :
Initial import. Ebuild submitted by Scott Owens <sowens@cs.utah.edu>.