diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/drv/doc/drv-guide.mp')
-rw-r--r-- | Master/texmf-dist/doc/metapost/drv/doc/drv-guide.mp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.mp b/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.mp index ab6b41675e2..8c5e207cafe 100644 --- a/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.mp +++ b/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.mp @@ -119,8 +119,10 @@ endfig; % beginfig(111) -jgm 0 "A", "\vdash", "B"; +jgm 0 "A\vdash B"; +jgm 1 "A", "\vdash", "B"; nfr 0 () ("f", 1); +nfr 1 (0) ("f", 1); draw drv_tree; endfig; @@ -271,10 +273,10 @@ draw drv_tree; endfig; vardef auxbox[]= - ((smin_x[@], ypart iln[ccl[@]].c+iln[ccl[@]].hg)-- - (smin_x[@], smax_y[@])-- - (smax_x[@], smax_y[@])-- - (smax_x[@], ypart iln[ccl[@]].c+iln[ccl[@]].hg)-- + ((sub_min_x[@], ypart iln[ccl[@]].c+iln[ccl[@]].hg)-- + (sub_min_x[@], sub_max_y[@])-- + (sub_max_x[@], sub_max_y[@])-- + (sub_max_x[@], ypart iln[ccl[@]].c+iln[ccl[@]].hg)-- cycle) shifted (0, min_clr_scl*min_clr[drv_sty]/2) enddef; @@ -717,8 +719,6 @@ drv_scale (ilb, 1); % drv_junction_style % -path azerty[]; - drv_junction_style 0; beginfig(300) @@ -1507,8 +1507,8 @@ endfig; % drv_junction_style 0; -drv_scale (jdg, 0.85); -drv_scale (prm, 0.85); +drv_scale (jdg, 0.9); +drv_scale (prm, 0.9); vardef mix[]= "\textit{mix}("&(decimal @)&")" @@ -1551,10 +1551,10 @@ nfr 0 (1) ("\text{contr$_g$, contr$_d$}", 1); nfr 8 () ("", 0); nfr 9 (mvd 10 (1, 6)) ("", 0); nfr 10 () ("", 0); - nfr 11 (12, 14) ("", 1); + nfr 11 (12, 14) (mix2, 1); nfr 12 (mvd 13 (1, 6)) ("", 0); nfr 13 () ("", 0); - nfr 14 (15) ("", 1); + nfr 14 (15) ("\vee_d", 1); nfr 15 (mvd 16 (1, 6)) ("", 0); nfr 16 () ("", 0); nfr 17 (18, 20) (mix4, 1); |