projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
48f4c2d
)
Enable indent stripping for \typebufferlam and \typebufferhs.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Fri, 6 Nov 2009 15:24:41 +0000
(16:24 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Fri, 6 Nov 2009 15:27:07 +0000
(16:27 +0100)
Utils/Lambda.tex
patch
|
blob
|
history
diff --git
a/Utils/Lambda.tex
b/Utils/Lambda.tex
index 12aea733b3a8b8c61a04ecb24a089c7d62d38bfd..41977e0175f0c52902dd4aec7b4c376d40659e4b 100644
(file)
--- a/
Utils/Lambda.tex
+++ b/
Utils/Lambda.tex
@@
-84,12
+84,12
@@
draw b;
\define[1]\typebufferlam{
% We can't use \startlambda here defined by definetyping[lambda] above when
% typing buffers, so instead we'll redfine the options here.
\define[1]\typebufferlam{
% We can't use \startlambda here defined by definetyping[lambda] above when
% typing buffers, so instead we'll redfine the options here.
- \setuptyping[option=LAM,style=sans,before=,after=]
+ \setuptyping[option=LAM,style=sans,before=,after=
,strip=auto
]
\startboxed
\typebuffer[#1]
\stopboxed
% Reset the typing options
\startboxed
\typebuffer[#1]
\stopboxed
% Reset the typing options
- \setuptyping[option=none,style=\tttf]
+ \setuptyping[option=none,style=\tttf
,strip=auto
]
}
% Type the given buffer with the haskell typing style.
}
% Type the given buffer with the haskell typing style.
@@
-97,12
+97,12
@@
draw b;
\define[1]\typebufferhs{
% We can't use \startlambda here defined by definetyping[lambda] above when
% typing buffers, so instead we'll redfine the options here.
\define[1]\typebufferhs{
% We can't use \startlambda here defined by definetyping[lambda] above when
% typing buffers, so instead we'll redfine the options here.
- \setuptyping[option=HASKELL,style=mono]
+ \setuptyping[option=HASKELL,style=mono
,strip=auto
]
\startboxed
\typebuffer[#1]
\stopboxed
% Reset the typing options
\startboxed
\typebuffer[#1]
\stopboxed
% Reset the typing options
- \setuptyping[option=none,style=\tttf]
+ \setuptyping[option=none,style=\tttf
,strip=auto
]
}
% Display a useMPgraphic in a pretty box
}
% Display a useMPgraphic in a pretty box