blob: 784ef2ff5a73d823517ab4ca2a9bbd529678d364 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
diff -ur detex-2.8.orig/detex.l detex-2.8/detex.l
--- detex-2.8.orig/detex.l 2010-06-12 00:15:05.000000000 +0200
+++ detex-2.8/detex.l 2011-06-07 13:42:05.000000000 +0200
@@ -157,7 +157,12 @@
W [a-zA-Z]+
N [+-]?(([0-9]+(\.[0-9]+)?)|(\.[0-9]+))
U pt|pc|in|bp|cm|mm|dd|cc|sp
-D {S}(({N}{S}{U})|(\\{W})){S}
+HU {U}|em
+HD {S}(({N}{S}{HU})|(\\{W})){S}
+HG {HD}(plus{HD})?(minus{HD})?
+VU {U}|ex
+VD {S}(({N}{S}{VU})|(\\{W})){S}
+VG {VD}(plus{VD})?(minus{VD})?
Z \*?
%Start Define Display IncludeOnly Input Math Normal Control
@@ -212,11 +217,12 @@
<LaEnd>"\n" NEWLINE;
<LaEnd>. ;
-<Normal>"\\vskip"{D} ;
-<Normal>"\\vspace"{Z}{S}"{"{D}"}" ;
-<Normal>"\\hskip"{D} ;
-<Normal>"\\hspace"{Z}{S}"{"{D}"}" ;
-<Normal>"\\addvspace"{S}"{"{D}"}" ;
+<Normal>"\\kern"{HD} ;
+<Normal>"\\vskip"{VG} ;
+<Normal>"\\vspace"{Z}{S}"{"{VG}"}" ;
+<Normal>"\\hskip"{HG} ;
+<Normal>"\\hspace"{Z}{S}"{"{HG}"}" ;
+<Normal>"\\addvspace"{S}"{"{VG}"}" ;
<Normal>"\\newlength" { KILLARGS(1); }
<Normal>"\\setlength" { KILLARGS(2); }
|
