From e06ca2e4e6e0bb34e75361477f411667d7003885 Mon Sep 17 00:00:00 2001
From: grammarware <vadim@grammarware.net>
Date: Tue, 10 Mar 2009 17:18:00 +0000
Subject: [PATCH] better pretty-printing

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@518 ab42f6e0-554d-0410-b580-99e487e6eeb2
---
 shared/xsl/ldf2tex.xslt | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/shared/xsl/ldf2tex.xslt b/shared/xsl/ldf2tex.xslt
index 3f250a8e..e4b60479 100644
--- a/shared/xsl/ldf2tex.xslt
+++ b/shared/xsl/ldf2tex.xslt
@@ -21,13 +21,17 @@
 \usepackage{listings}
 \lstdefinelanguage{pp}{%
   numbers=none,
-  morestring=[b]",
-  stringstyle=\tt,
-  literate={EPSILON}{{$\varepsilon$\,\,}}1 {*}{{$^\star$}}1
-  {+}{{$^+$}}1 {?}{{$?$}}1,
+  literate={EPSILON}{{$\varepsilon$}}1 {STRING}{{$\lambda$}}1
+  {*}{{$^\star$}}1 {+}{{$^+$}}1 {?}{{$?$}}1 {&lt;}{{$\langle$}}1 {&gt;}{{$\rangle$}}1,
   keywordstyle=\normalfont\bfseries,
-  morekeywords={sequence,abridge,add,anonymize,appear,chain,define,deanonymize,designate,detour,deyaccify,disappear,distribute,downgrade,dump,eliminate,extract,factor,fold,horizontal,inject,inline,introduce,lassoc,massage,narrow,permute,project,rassoc,redefine,remove,rename,replace,reroot,strip,terminalize,unchain,unde
-fine,unfold,unite,unterminalize,upgrade,vertical,widen,yaccify,one,of},
+ morekeywords={unfold,fold,inline,extract,abridge,detour,unchain,chain,
+ massage,distribute,factor,deyaccify,yaccify,eliminate,introduce,import,vertical,horizontal,rename,
+ renameL,renameN,renameS,renameT,rassoc,lassoc,
+ add,addV,addH,appear,widen,upgrade,unite,
+ remove,removeV,removeH,disappear,narrow,downgrade,
+ abstractize,concretize,permute,
+ define,undefine,rederfine,inject,project,replace,
+ designate,unlabel,deanonymize,anonymize,dump,reroot,in},
   columns=fullflexible,
   basicstyle=\tt,
 }