# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1265577189 18000
# Node ID 277a5db17aa1fa20bd0ee4aa83a6251b397af291
# Parent  64a9d74111e67f20bce66fae88e83585db7aa64c
Expand 'row types' in first paragraph of manual

diff -r 64a9d74111e6 -r 277a5db17aa1 doc/manual.tex
--- a/doc/manual.tex	Sun Feb 07 15:50:13 2010 -0500
+++ b/doc/manual.tex	Sun Feb 07 16:13:09 2010 -0500
@@ -20,7 +20,7 @@
 
 \section{Introduction}
 
-\emph{Ur} is a programming language designed to introduce richer type system features into functional programming in the tradition of ML and Haskell.  Ur is functional, pure, statically-typed, and strict.  Ur supports a powerful kind of \emph{metaprogramming} based on \emph{row types}.
+\emph{Ur} is a programming language designed to introduce richer type system features into functional programming in the tradition of ML and Haskell.  Ur is functional, pure, statically-typed, and strict.  Ur supports a powerful kind of \emph{metaprogramming} based on \emph{type-level computation with type-level records}.
 
 \emph{Ur/Web} is Ur plus a special standard library and associated rules for parsing and optimization.  Ur/Web supports construction of dynamic web applications backed by SQL databases.  The signature of the standard library is such that well-typed Ur/Web programs ``don't go wrong'' in a very broad sense.  Not only do they not crash during particular page generations, but they also may not: