5 Oct
2006
5 Oct
'06
10:37 p.m.
On 5. Oct 2006, at 22:57, Niels Kobschaetzki wrote:
I just wanted to ask how to use the new "`"' ?
The new thing is only, that we no longer mark it up as an invalid double quoted string, but instead as a regular string.
If you want a shorthand to type it, I would suggest putting a snippet which inserts "`$1"' on the "-key and scope it to text.tex.