From 42c4ef025cf4bd0d4086c62020eb09af6e1754f7 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 25 Nov 2003 06:33:23 +0000
Subject: [PATCH] Fixer a nbug in >>RenameS:
 ----------------------------------------------------------------------

---
 src/GF/Compile/Rename.hs | 4 ++--
 src/Today.hs             | 2 +-
 src/tools/GFDoc.hs       | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs
index 20914ecc1..b94cb6fdc 100644
--- a/src/GF/Compile/Rename.hs
+++ b/src/GF/Compile/Rename.hs
@@ -50,8 +50,8 @@ renameIdentTerm :: Status -> Term -> Err Term
 renameIdentTerm env@(act,imps) t = 
  errIn ("atomic term" +++ prt t +++ "given" +++ unwords (map (prt . fst) qualifs)) $
    case t of
-  Vr (IC "Int") -> return $ Q cPredefAbs cInt -- Int and String are predefined cats
-  Vr (IC "String") -> return $ Q cPredefAbs cString
+---  Vr (IC "Int") -> return $ Q cPredefAbs cInt -- Int and String are predefined cats
+---  Vr (IC "String") -> return $ Q cPredefAbs cString
   Vr c -> do
     f <- lookupTreeMany prt opens c
     return $ f c
diff --git a/src/Today.hs b/src/Today.hs
index 8650bdedc..2a97c49ec 100644
--- a/src/Today.hs
+++ b/src/Today.hs
@@ -1 +1 @@
-module Today where today = "Wed Nov 19 17:07:15 CET 2003"
+module Today where today = "Tue Nov 25 08:16:52 CET 2003"
diff --git a/src/tools/GFDoc.hs b/src/tools/GFDoc.hs
index 7b90c2504..0f5143f57 100644
--- a/src/tools/GFDoc.hs
+++ b/src/tools/GFDoc.hs
@@ -194,7 +194,7 @@ doc2latex (Doc title paras) = unlines $
 para2latex :: Paragraph -> String
 para2latex p = case p of
   Text its      -> concat (map item2latex its)
-  Item its      -> "$\\bullet$" ++ concat (map item2latex its)
+  Item its      -> "\n\n$\\bullet$" ++ concat (map item2latex its) ++ "\n\n"
   Code s        -> unlines $ envLatex "verbatim" $ map (indent 2) $ 
                                                    remEmptyLines $ lines $ s
   New           -> "\n"