[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
proposal for MX encoding
- To: math-font-discuss@cogs.susx.ac.uk
- Subject: proposal for MX encoding
- From: Ulrik Vieth <vieth@thphy.uni-duesseldorf.de>
- Date: Fri, 16 May 1997 12:59:56 +0200
Enclosed is a preliminary implemenation of a MX encoding as outlined
in another message yesterday. At present, it uses cmex and Alan's
cspex for the delimiters and big ops, and wacc for the wide accents.
It provides:
* all existing big delimiters from cmex with the only addition
of semantic brackets taken from cspex (or alternatively stmary).
* slots for up to 32 big ops at 2 sizes, including all the ones
from cmex with the addition of new ones from cspex (excluding
\ovee and \owedge), while leaving most of the remaining slots
unassigned to be decided upon later.
* slots for 8 wide accents at 8 sizes, thereby providing a lot
more than what's available in Plain + AMS fonts, but not quite
as much as in a MX1/MX2 combo.
I hope I haven't forgotten anything important while packaging
the shar file late last night. You'll obviously have to hack
the Makefiles for the foninst run.
Cheers, Ulrik.
#!/bin/sh
# This is a shell archive (produced by GNU sharut 4.2.1).
# To extract the files from this archive, save it to some FILE, remove
# everything before the `!/bin/sh' line above, then type `sh FILE'.
#
# Made on 1997-05-16 03:48 MET DST by <vieth@zarquon>.
# Source directory was `/home/vieth/FTP/mathfont-0.4'.
#
# Existing files will *not* be overwritten unless `-c' is specified.
#
# This shar contains:
# length mode name
# ------ ---------- ------------------------------------------
# 26114 -rw-r--r-- etx/MX.etx
# 2520 -rw-r--r-- tex/MX.tex
# 3321 -rw-r--r-- etx/cspex.etx
# 307 -rw-r--r-- extensibles/cspex.mf
# 140 -rw-r--r-- extensibles/cspex10.mf
# 139 -rw-r--r-- extensibles/cspex7.mf
# 139 -rw-r--r-- extensibles/cspex8.mf
# 139 -rw-r--r-- extensibles/cspex9.mf
# 6819 -rw-r--r-- extensibles/bigcspdel.mf
# 4921 -rw-r--r-- extensibles/bigcspop.mf
#
save_IFS="${IFS}"
IFS="${IFS}:"
gettext_dir=FAILED
locale_dir=FAILED
first_param="$1"
for dir in $PATH
do
if test "$gettext_dir" = FAILED && test -f $dir/gettext \
&& ($dir/gettext --version >/dev/null 2>&1)
then
set `$dir/gettext --version 2>&1`
if test "$3" = GNU
then
gettext_dir=$dir
fi
fi
if test "$locale_dir" = FAILED && test -f $dir/shar \
&& ($dir/shar --print-text-domain-dir >/dev/null 2>&1)
then
locale_dir=`$dir/shar --print-text-domain-dir`
fi
done
IFS="$save_IFS"
if test "$locale_dir" = FAILED || test "$gettext_dir" = FAILED
then
echo=echo
else
TEXTDOMAINDIR=$locale_dir
export TEXTDOMAINDIR
TEXTDOMAIN=sharutils
export TEXTDOMAIN
echo="$gettext_dir/gettext -s"
fi
if (echo "testing\c"; echo 1,2,3) | grep c >/dev/null; then
if (echo -n testing; echo 1,2,3) | sed s/-n/xn/ | grep xn >/dev/null; then
shar_n= shar_c='
'
else
shar_n=-n shar_c=
fi
else
shar_n= shar_c='\c'
fi
touch -am 1231235999 $$.touch >/dev/null 2>&1
if test ! -f 1231235999 && test -f $$.touch; then
shar_touch=touch
else
shar_touch=:
echo
$echo 'WARNING: not restoring timestamps. Consider getting and'
$echo "installing GNU \`touch', distributed in GNU File Utilities..."
echo
fi
rm -f 1231235999 $$.touch
#
$echo $shar_n 'x -' 'lock directory' "\`_sh01210': "$shar_c
if mkdir _sh01210; then
$echo 'created'
else
$echo 'failed to create'
exit 1
fi
# ============= etx/MX.etx ==============
if test ! -d 'etx'; then
$echo $echo_n 'x -' 'etx: '$echo_c
if mkdir 'etx'; then $echo 'created'; else $echo 'failed to create'; fi
fi
if test -f 'etx/MX.etx' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'etx/MX.etx' '(file already exists)'
else
$echo 'x -' extracting 'etx/MX.etx' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`$6[>S,"`[5=6Y/:1A9^YU=TJI*R73MF`0G!S#YY'+O6#\YN)<ZNJX:I
MBA`-](XN1!)S"<7\]CVG)4%+ZIN8P16G0'W.U^?RG=/=`N192D/_L3=;),$V
MHG$>A'Z6W>0/29"$VRB^W?EISH*0[GL_S;89W?C!G;^B-WZ494_1_'87TX?(
MS]?[GC"ZH]$RS@%QW^.7Z:,?;4*Z3.)\MXT>AX/!`.07=#D+,QKY,4RPF]$X
MVZ84L78WLQ]N]J5$*I6XG?UPNT?TG.4AW7U;4_(5KI-/CSE(L20FG^(@6;!X
M!3#^-E\GZ>[W,&5WY#^,YNL+,O<SNB`@1_TT9#0E#TEZ1^9/").OF9^1CQ`(
M&N,<<[IB\:X*$%Z)_#O*9X;7&0URF'#W)<[39+'E;T#FVYIE!/[SXR1?`WZ>
M/A$_)_":;-)DD^#T7[\36II)9@'+Z>XO1E<A3:\NW7WO8<V"-4*P&)Q:@'R>
MD`!BZ+.8^&%(@K6?^D%.TXP4LA!J,OM&O[_)2+:A`?/#7D1!*F99!)>V(`*.
MT2)&\Y!F)$DY2LBR/+O`=P70VK^G9!MOLRU`+*F?0]R/`,*\X`=#A\$X"`T#
M+CV1.0V3!^XH!CED,>WW>E]R$FS3%(1`HG0B(R-G\"QZP2"%P\'S,J649&&2
MH^\<*?7C%>T-'H?7[]_#_S]?D,'CR,'7HPEY"T*;E,4!`Y*!%QL:DR7XXL=/
MD,IX]0Y>+<C0X[B]-BY@77J(=3E!W,M/_#6?XX.+KS_PZQ\^\M>?+\".:RY_
MS:]?<_GKS^0MQ#7W<W:/48"`T?0>XH*60)&0.5NA::F?)VGVK@\$H2DE/OS-
MZ#U<#B&8!2T",)<M_!Q"+E4&RX%)$5NM\]Z<@BM!N$5Z%#YE9>B`X]N<?"$`
M%;_)R0,4$1(H!^IB9"!B6$J0V-X"J((U`V2=)UO.4986L+R4,"UX';7NXN0A
MI`L(FB@+Q.M7E,=*CXI`@&ZR)+Z<\`S9MP)N_@4#/KH:`F^RJT.]T2Q(V:8H
MIQD41W0S>!P,BIS?$G?P7&020Q2Q+*!AZ,<TV0)/H3$E(02@B`Q,UB/'?!1:
M$$!$X\P`P`&'R>[H`]*17\V@F0&;.(\9(N#%8^T`=18L\,.,O)W\S2EL>5>(
M"T*0V!RE4#U-P3V.,O<AB6\O94H0L@VC`>7V"-ISJ!'@P]LA5RIUH*NQO["6
MPL/X]`!Z+")(316_T13CYWR^)2-7B)_[?,?B18;9$HQ?0/%&#"OS"BQPGNDC
MM`F(YA79`&UC9!CT>\JIQJ?_!QD^`UNO2-6S^764Z`/`P0B7)W$"1GBB$=.C
M$<>9,5$@!"3)`(+ZP?J*3&26I'53P/\P@5JY(`%ET(-6V05/(717N)9!;X=*
M*9,1W)7O+>V?#HJ";]COC)[%,D7+1X7EA=T``3VH,AV;[=*_\^?8LCR<%E8C
M6M6VCVV4URJTLC2)0'>60VKR?)?ED9\^[5&_NA1`MW_<7\!T!Y@GRJM]3D$3
M*HFMH$5#3`Y]M0AX6YQ@,\!FLMTD<<WKC]SKS^VL/8`\\8,`:IZG:]IP.F?A
M`GP$OX"U*>,YN(!R""Z*[%T`SP,(6$&G\C6:G6PA.,7[?@]6_T6])^"EHI?`
MRR")L.GL#LOQSW3I;\.<W/OAEF9\KY!!(O-T5^ADP1K:U'[W]<.W?Y)/W[]]
M^N6W+__Z98\.@QPLN3L&=<4"H`:L^;L!`K`ERU;ATV:]>]S/H`!CL))4XH_0
M":$C[W>SX@7(0-^BL,.12HWY'FC)=+;CA@GZ=U0TAH,3B(-#?.3M\!U,V;1W
M3WXBQ7O"+TCT1N_0*]+\\Q/?;J2P'2I;H$35L5#-4YH':XFR:Z&\AM7\3J([
MKGRMPK@O=1_?%Q<D.A[H\!UG<[X_M_Y"(C]1V0>UEOI%3(B_!%M)7T@>;D&+
M)0R+NY$YOLP?J_E8N!'4;5^:UBF8X8(=DJ%+]&@XE(X-!SCH3?:R,:3*B/.N
M/89T\!1C3A%"L%/&5O2\JD1.T:/$=EX)_5I??L75]NIYR-5BB`F.[DHC^.M*
M:'^#TU3O^K>\'Y1"/<6<J!$G:03+(V_TT)RK1?OJ>8+566G]2I>P&8L#>E7L
MPV^\_FC8']Z*^_&:B4/!Q!)SN!?)`+L;'(1VNF1%6S_L&(ZK6Y\4F\!HF^78
M>_T<6D5(?7@W(4431</]N+&E0$Y=P%8==1%XR=(,MV)\Q2^7R@HSVT(?0#W8
M8J5T$P)[(]ZI,052JV!D&^-N4EAT@BB#):?<-!>6C2_`2+ZQ'I#W[]_#",,9
M_MS"*0!GP`U>GJ`EN.,,$Y_O^L"7K]_?<[KPO3'*Q;@&<=3B%%9-XT=P`59"
M'_W!*S5K+FI%!&>*:,YBONGD894&!<MPR1YQ*<Q@<UA$;_;QMQT<+!=[L#1(
M$[Z495F1LPB*.`4ZA4\(RO@>I-K`KB&BX#O'[O.%`^D1^NF*IA4I1GM2(VJ3
M-*.]1,G9BSI-%4>FXFI57)G*6*LREJEX6A5/IC+1JDQD*O-\;UG<[=WXU;/S
MHKJ>MNLZWQ2])T\VY=;\CQF.ES<UWC1[D=`DO#8:;NF!KAP1RA&.UKPXNP&/
MW#8P1(V#SI,\AQ5&!:CO4.V`PN*$NY=[V*Y!W^T5:R&^G=>F%@8@3D+HA`%P
MMQ$%#@TN5NC=TUZ=D/B1JDB^$*=+(4P@4,W8=@9-$P14)HE@"YC>A"?(V$#F
MZ<:,*0J]3NB*@^G5LV>HG.&P[VI6Q(D0;`[9D>K6S/SCQ]EVLT@>8C[+CV^4
M%$4F<IDZ#^>5@77>8GQ%N^W2QC4@SV=T]O=NSH(Q"G]A1.'RT0&]U\<.-&YF
MVZ9-=DOQB>E]61Y?VXW?-Z<G[O3T.$XS/:^]/(!K-JP\2ZV=P9>?N_CRXCI2
M]^?F';W".6C.4].V9EIKS7U2;\XB'Q(PD8.'=%E&$E_9[4%:(!%;%!CP8F&[
MDVFAI/PT7W1/?-EUIW4I\P]&3]MH54AP#'HIU+%CBD?&(_!+<G!$>5$2CC`G
M9:'#@1]OG;1.^\Y(",P]*SZ80LGRR,_OMQP^)&IY(9O[D_0>]C,L6GC/1%=%
MEQ=>WQGU1_5B:MW4D$Y5W(HN]E&"?ZYX.X/+8*9?>9UY:UA@Q'D;+>TPU.YI
MAR'K%LTU.'=>V<%W-@Y6$\L\Y&,*%_F8_>KJ3F49/>U4)XG<BX^'8T]FG^6J
MJ;>M.XA5Z50?L[2+1VP.I=09RN?&P*[ZS`UZ"8-M?@F#]D?!0N<<971KYZBB
MD,11I:L=BVD\D&?X3(>I$#\./#7;KY'0,_F5VOLE2>X+TC>5I^\,>_20?Z)K
MV*"?M1C/X%3:P:E7J#O;9DS+3TC$/7:S%=,S47G.5C..CT<I360JWVF'E=MM
M^G"&Q62VLZA#VNXNL'<_#N&.7L("JB8V[41I>H[59;:W\5S2?PZN\S&5[QK^
M=^#`>"3C@.T)JB.1PUD8)=LL]X,U/8T5K^-]._5G<CB=I9T<UNPT7L3U0[J]
M@2S=9^CD1;97:;+=O##3KUOCYW$5\FSMJB['+V&US6+6^B97^X@AGI8J\?,=
M-8Y?>2Y#5X]<%3BY(;U:`"4RATA6@93(%&$U4ZBA>I8%(STE&'4^*:)1)Y8B
M',*>R6;E</5,.?7@K@OXBV\&>".]T2><Z+4&O_P.05G$UVPEWKTCGFNZ!:ZX
M>4?4C0+GJ&[;3>MMP7.E-U'8RO@UG^,7:<3[<L+W'`YHUQS-<,>EXXSOE#-R
MN-:4@LN3D<QEU%`Y`,:M]@8'"GVY-2U]\:L8`T4"U.9<6YA3`BBCH[9GJHB.
MVA[H4>;@J*UIJ.MI?%S?FD3V%"?TCL2ZD1%+P%.3N=8>.LYZJYG53&A7[KJ$
MTO7`*%C4G%=ME9;8(V5"=&9=6YDEH7?#:J5=EP-EM'1VJ4C>FE9M56>B4PG-
MI])]?D>Z"6?WAJU4RG'IAKOKG'OEG&:&>S*O%?RF9G93#;>IF=FN(@=J<ZXM
MS%%PFIH9/5)$1VV/CLU4QV7:G<F2LTF#U).!8?/6E6K-PT?-#<D$ZJ8NW?MU
M-2?M8(ZY%J;Z8$FJ0AY2!2%5]IBMUM:,9TRQC=G7G<R65)3".W5MN<9HV]BM
MJC>E.6:K.]5@\2NQ5N%=BEGA,J>56_WNOF#X`5-=85SDQ+K2SVLLI>'`E?DO
MJ2`Q-@H"UJ=4F:.KD6'MLX?ZE)JX&NV1E$'-6+5!HX$B/MJ-96X1(.VN,N_`
M[.IWCVUNBWVRE#J-W;7/'`6;!5`UO4NA$PENF-J"X9X\"A*.UV.D8%5S8K59
M>J:[RN3H[+JVLDO"]X;9&L:/E/'2<9X^6H5+Q_H&A)[UQ2]\6YP?#L2"Y4*G
M49ZKRHAWP%0SGHN<R'?]O!9TG\K\EY!=C(V"4O4I5>;H:>XITJ&VY]K"'@G!
M:\9JZ.TJXF,3@U673;_\I^<2QM9NW*)49]:`PM^E.VM$T]ROJ<PZ9<+905MZ
MJJT&M60=#IJNET0E,D<T)UIQ-I4E>IY.)4FH3)&%U&2)["PK6*DAJ">)B87?
MJ[WEO?;#XT6NGHVWVIV!Y!X[S+$H?KB.4XF_BZX]%J'Q64#C.R;3O7!/)4@V
MQ2-U\)>>[:6^&EVP;!/Z3ZH[,SH,.X1L&T7\EZ52C,.H`25@:1#21:+PIAJU
M0MF$VTP#@\-6.!%DBVW")PU6)6+`"Y,5_IH,VIH4ZSALAY.D.I@D5:`(OWBH
M[>^Z4<66#K8)MTYIIYQ9)\0VXG(Y,:CX_2GQAP/X;(,_I8DJQPQ3\T<^E$U(
M`507,>`E\S")5Q6."%.,&-07[']W60Y;SW7"`BJ#J4N8V.2G?@@;"1E0-683
MH)#Z]TSNECAN+`G\YE,K>YTR9!7^3D&V#&&',)E9[`U:<5!SN$-\C/PU8/'Y
M>'6KS>'#'6Q2+A1-(2-[O&DK:AWLL':]HV_F;.-')'7]%7!*&1,<-#&8/YA(
MBU07,>#!,7=CP*N+F)8)H*(6312P\M6(V!8SK:%L%?E:R)J$D9U35Y;E3HGL
ME*4.*>@<X2ZA4_!?OLW_K_"D+HM=_G#4=UH_^%?O\H7G@.DW^9>U=0C5^"/"
MS`_06:7%TY54DS08=$`>*0ZZ@H!*U3&I.DI5UZ3J*E7')M6Q4M4SJ7I*U8E)
M=:)4G9I4I\K2Y0^DJFNL_?PL9`!<'17XL%S-T:LY"C57K^8JU,9ZM;%"S=.K
M>0JUB5YMHE";ZM5T"9^VZK]\+.!Y6D`)KNT"!QD-@&,!X.@`7`L`5P<PM@`8
MZP`\"P!/!S"Q`)CH`*86`!KN#+TF=_PT.`MM`%?'&#XL5W/T:HY"S=6KN0JU
ML5YMK%#S]&J>0FVB5YLHU*9Z-4W"1VXSX?P+DF=).4?6);T44*DZ)E5'J>J:
M5%VEZMBD.E:J>B953ZDZ,:E.E*I3DZJ&#DYK[U@\(/8L?"B@=82H))3*CE'9
M42N[1F57K3PV*H_5RIY1V5,K3XS*$[7RU*BL88?;VDH>'RE\%H8<X74L$:6T
M((X5B*,'<:U`7#W(V`IDK`?QK$`\/<C$"F2B!YE:@>B8U=JSBH^G/@NWQ`ET
M[*K+&8`<2R#'!.1:`KDFH+$ET-@$Y%D">2:@B270Q`0TM01J\0[_N8_CL\WC
MA/_;(%\_7GS][=_P=PA_D1!S-@]9LDK]S?HIRY]"NO/#S=IOC.P.SV;NE0]1
0/_Y#)OS/_P&*2U-)`F8``!!S
`
end
SHAR_EOF
$echo 'gunzipping file' 'etx/MX.etx' &&
gzip -d < _sh01210/gzi > 'etx/MX.etx' &&
$shar_touch -am 0516034197 'etx/MX.etx' &&
chmod 0644 'etx/MX.etx' ||
$echo 'restore of' 'etx/MX.etx' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'etx/MX.etx:' 'MD5 check failed'
6b6e1caddcd51e6e7c8e590580e613a8 etx/MX.etx
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'etx/MX.etx'`"
test 26114 -eq "$shar_count" ||
$echo 'etx/MX.etx:' 'original size' '26114,' 'current size' "$shar_count!"
fi
fi
# ============= tex/MX.tex ==============
if test ! -d 'tex'; then
$echo $echo_n 'x -' 'tex: '$echo_c
if mkdir 'tex'; then $echo 'created'; else $echo 'failed to create'; fi
fi
if test -f 'tex/MX.tex' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'tex/MX.tex' '(file already exists)'
else
$echo 'x -' extracting 'tex/MX.tex' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`'&[>S,"`[6646^;,!#'W_D4?LG+M$9IE"Y059&V+I4BM5VE=E,G\>+8
M#K%J&V2;ELCBN\^&0(!"NT5='F*X^_M^OL/F""5A,//"-8FH,!O*"(J%)D*K
MW-P\<JH4%=&8ZRSWPKV4$RTI4MX(2)(PB`AW<@`%!GL]0%LH(=)$*B]T\63,
M(K9+MD8]D1?GS#OV9ZKHFA&5V'"Y-W*L(G3IE1!3!-DLKZ[6-,K[-6>UYMN@
MYDLSSI!HW@P4O5Y3_$SDVB9)&-GHW!276TT3'+^(PC2DES3:=B>4MLZ,5.!^
M1)KT`0[R+B%-JOB*Z,YJ.,6Y!\+2^FJ&.9U,)KW^<DFE.R0"5Y$;C,."^B&'
MQ(<P=2W?!M7)D$P?HFQK4R?\WSO>3>R_`D<-Y!I*+6W1LT:5H+2WW=*]:QQ$
MX#BU)Y#:PQ])R'0KM9:U$[W/-U"X-@)39;?O[G6DRC$`ZK@'6/8=E7Q4.D>D
MVL9_4*K_5(G]N[A9>??*;5?D/56]\+90T8C#MR*U!(<@=H%5]W#7[7[CA3A&
MJ6LFB$&EC-WR%#';#KPP5<1VAB<8$4/X1E"A'!$3*Y2$"!1C2S8_;^_OEI>K
MJ]7R>VZ4YE#N>E27]W=@^?BPO+U?_;@%5U]O5M>_<X-4X@Z7%U*1I-K8E"0L
MNE[5&JNUE1JE(6,;NW)UN(.<LIUMFKE)N3UN8=7K0J=SCZ<QS4DF<_O0#.(D
MFW\&!=^.+Q`A.V28,#O4'=@^^]Y?@:N1/#<B-Q<G_D)M:$8P^`1ZL'Z%]?=8
MO\3Z)=8_%NLO>F!!!0OVL*"$!24L.!86],"*4U#`3B=[FKMP.#<ZGAN/`YY.
M%L#^C8,S-T[=WVP\<\-\//47`Z'`Q70RGCO9=#;V_04H#T%K`Y5'H;&_/&\T
M&H'KV'Y[@%]04NB^C,Y!8>4Q)N>`07OHBOL'\GC"H;*?6N=`%Y:EP%;[!UD/
&/`78"0``
`
end
SHAR_EOF
$echo 'gunzipping file' 'tex/MX.tex' &&
gzip -d < _sh01210/gzi > 'tex/MX.tex' &&
$shar_touch -am 0516034297 'tex/MX.tex' &&
chmod 0644 'tex/MX.tex' ||
$echo 'restore of' 'tex/MX.tex' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'tex/MX.tex:' 'MD5 check failed'
0be5f599ebf2f43cc4631c2b12805167 tex/MX.tex
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'tex/MX.tex'`"
test 2520 -eq "$shar_count" ||
$echo 'tex/MX.tex:' 'original size' '2520,' 'current size' "$shar_count!"
fi
fi
# ============= etx/cspex.etx ==============
if test -f 'etx/cspex.etx' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'etx/cspex.etx' '(file already exists)'
else
$echo 'x -' extracting 'etx/cspex.etx' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`->O>S,"`Y5736_;,`R]YU?H4F`]K$CZN1W7-04";-V`;D.'N@?%IFTM
MLN1*2N+"\'\?)2>-Z\J.DY,E/CX^4A3M!`HX+49!),-E!L*$G&K]:-8RE'R9
MB:>2*L-"#M7H*%AJR&FXH`D\TDSKEVS^5`I89]2DU:AA+2&+A4'&:C0*$!#*
M+*,B*H/;V</TIBKM-J*AH%G.(9;"E*'.H9B,K<4PPZ'\E0+Y>O^33`L#0C,I
MR"WBR%2$,F(BP7AT:5*IRM]<L07YP\"*&`5S2)@HM]G8G8PNP''BLX;0(%<Y
M$T;):.D62`4;5D18K>A8OD)O(*9+;LB*\B7HJG(L1AM5UCXZ3"&#JG1B'WY-
M[^YG/^[([9?OLV]_*X=E2,<,Y2S4G**FTJ7)8J83_I*G95$%)@4Q(H1LX44*
M+$D1&M0/B+$RN08OZF*,E$',^O3;,I.(974U7Q.Q/-;D+!\FQQBRK;<B1Z1>
M$[?A\3L]MEF1]@_]A`&UEBHB&IL#/*YG`UR-`A.F'N?S`<ZI8F+A\;W8YKHM
M8[7Q+3[6&QZ?2_29C,?MD$?D>4DC#_ZJ2Q\41M&Z)H3&J)6<-`[/-G\L.9=K
M;+#VR1&J@!AL:D%B)3,2&"0S>(4R**H3[[%^0AGGJ,-C^FPSFDR\MLG8&B^O
M*I_-MLJIZ[OW-ML.EQVVL[J$J-/3K#;Q[66LZNE1&,VE*4]K,O>L`<<)3J6Y
MPGD#>+-C,V<X$O!F6#RG*@'E0UU;%-[V:,/42:GL^>_G=+!WI`W5D_%YO^[K
M0;I1R2'"KX<)?\_:K/=X;\$'5OS`D@^M>;?TL_TU'R+=Y(>5?)#P-FE#]L6>
MBEM7._Q75(4I5:-ZE-BED7F/PP8T[SA'TP0I\#+A8'&A4?@V^N#*'"2[Z=&M
MNVZ5?<(=:H_R_A8WAW2NJ88S6U6#F=O@1LM<-5O&O?(V@U0_VY="NR'?(B*F
M<TY?.I0,P.[`<LZE2'PA:TM_J![,#I1313D'[@NRM?6'Z46U$N=`5\R?4=,^
MH(1]R!TT8O\6^)5#PU2R$'QAWR+Z`P_`[L`A4_AYOP)OU%=C?\!^6!NWABCI
;B>;,0^)U`]VB\5&/J^9?`O?[#\U&/R[Y#```
`
end
SHAR_EOF
$echo 'gunzipping file' 'etx/cspex.etx' &&
gzip -d < _sh01210/gzi > 'etx/cspex.etx' &&
$shar_touch -am 0516025297 'etx/cspex.etx' &&
chmod 0644 'etx/cspex.etx' ||
$echo 'restore of' 'etx/cspex.etx' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'etx/cspex.etx:' 'MD5 check failed'
82107c4685f7bcb82872d377d280caa9 etx/cspex.etx
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'etx/cspex.etx'`"
test 3321 -eq "$shar_count" ||
$echo 'etx/cspex.etx:' 'original size' '3321,' 'current size' "$shar_count!"
fi
fi
# ============= extensibles/cspex.mf ==============
if test ! -d 'extensibles'; then
$echo $echo_n 'x -' 'extensibles: '$echo_c
if mkdir 'extensibles'; then $echo 'created'; else $echo 'failed to create'; fi
fi
if test -f 'extensibles/cspex.mf' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'extensibles/cspex.mf' '(file already exists)'
else
$echo 'x -' extracting 'extensibles/cspex.mf' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`!P%S2@"`U50RVH#,0R\+^P_B(2%AD"@T$/IDE-^H)#>C;/6V@+;<FVY
M)']?;QZ07,2(F1$S&N!P_`8\"\9"',NN[_INYBAJ8D/1JC(Y#/BU7[WH8-:!
M_&4U]EU@@ZJ@U#3"U7C#RQV*J0J<R$XE<:-A`*^S1>"$60OG\JHQZ)]$;:-`
M@HOJGNFL'))U`@^P'N_,;]4&WC_K>OOA49I)S71E!WC[<0B3]K[5@9D\0G%<
GO0%+?PC22&XC0]#BGANVLY!TU@&7#+M-WYTNV/[S#]1(Y-PS`0``
`
end
SHAR_EOF
$echo 'gunzipping file' 'extensibles/cspex.mf' &&
gzip -d < _sh01210/gzi > 'extensibles/cspex.mf' &&
$shar_touch -am 0910194791 'extensibles/cspex.mf' &&
chmod 0644 'extensibles/cspex.mf' ||
$echo 'restore of' 'extensibles/cspex.mf' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'extensibles/cspex.mf:' 'MD5 check failed'
7987b46c2ecb8cc07b5014f104424746 extensibles/cspex.mf
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'extensibles/cspex.mf'`"
test 307 -eq "$shar_count" ||
$echo 'extensibles/cspex.mf:' 'original size' '307,' 'current size' "$shar_count!"
fi
fi
# ============= extensibles/cspex10.mf ==============
if test -f 'extensibles/cspex10.mf' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'extensibles/cspex10.mf' '(file already exists)'
else
$echo 'x -' extracting 'extensibles/cspex10.mf' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`"(%S2@"`T6,2PH",1!$]X'<H3:SUZTRQ_``T:D>@J0GI#N8XQMAP.6K
MSUOP,**FE@J=#4;WK+M!VE'P*AS72PQ9T/6MQT=G]$S&&[+6[B=!<@P;!3N5
A+3EA720/^`KJ-IO[=)R'G_&/5CDFS54,7R5LKX2,````
`
end
SHAR_EOF
$echo 'gunzipping file' 'extensibles/cspex10.mf' &&
gzip -d < _sh01210/gzi > 'extensibles/cspex10.mf' &&
$shar_touch -am 0910194791 'extensibles/cspex10.mf' &&
chmod 0644 'extensibles/cspex10.mf' ||
$echo 'restore of' 'extensibles/cspex10.mf' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'extensibles/cspex10.mf:' 'MD5 check failed'
0cabe102a142aaa2a9dc1d3d84208b8e extensibles/cspex10.mf
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'extensibles/cspex10.mf'`"
test 140 -eq "$shar_count" ||
$echo 'extensibles/cspex10.mf:' 'original size' '140,' 'current size' "$shar_count!"
fi
fi
# ============= extensibles/cspex7.mf ==============
if test -f 'extensibles/cspex7.mf' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'extensibles/cspex7.mf' '(file already exists)'
else
$echo 'x -' extracting 'extensibles/cspex7.mf' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`,=9<C,"`T6,,0[",!`$>TO^PS;T4"&!\@P>8,A>9$6^6+ZS\/-Q$8ER
M=F?W@I<1-;54Z&PPNF?=#-*.@D_AN%UCR(*NNQY?G=$[&1_(6KN?!,DQK!1L
C5+;DA'61/.`+J.MLGO/C''#<_V258]*48O@!S(C9J8L```#(
`
end
SHAR_EOF
$echo 'gunzipping file' 'extensibles/cspex7.mf' &&
gzip -d < _sh01210/gzi > 'extensibles/cspex7.mf' &&
$shar_touch -am 0509005597 'extensibles/cspex7.mf' &&
chmod 0644 'extensibles/cspex7.mf' ||
$echo 'restore of' 'extensibles/cspex7.mf' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'extensibles/cspex7.mf:' 'MD5 check failed'
3e331508b84cbaf241eae7734e6b7d98 extensibles/cspex7.mf
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'extensibles/cspex7.mf'`"
test 139 -eq "$shar_count" ||
$echo 'extensibles/cspex7.mf:' 'original size' '139,' 'current size' "$shar_count!"
fi
fi
# ============= extensibles/cspex8.mf ==============
if test -f 'extensibles/cspex8.mf' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'extensibles/cspex8.mf' '(file already exists)'
else
$echo 'x -' extracting 'extensibles/cspex8.mf' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`,Y9<C,"`T6,,0[",!`$>TO^PS;TT"%0GL$##-F+K,@7RW<6?CXN(E'.
M[NQ>\#*BII8*G0U&]ZR;0=I1\"D<MVL,6=!UU^.K,WHGXP-9:_>3(#F&E8*-
BRI:<L"Z2!WP!=9W-<WZ<`X[[GZQR3)I2##]$4]G?BP````-9
`
end
SHAR_EOF
$echo 'gunzipping file' 'extensibles/cspex8.mf' &&
gzip -d < _sh01210/gzi > 'extensibles/cspex8.mf' &&
$shar_touch -am 0509005597 'extensibles/cspex8.mf' &&
chmod 0644 'extensibles/cspex8.mf' ||
$echo 'restore of' 'extensibles/cspex8.mf' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'extensibles/cspex8.mf:' 'MD5 check failed'
13a22673923d948e82328c99aba9a462 extensibles/cspex8.mf
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'extensibles/cspex8.mf'`"
test 139 -eq "$shar_count" ||
$echo 'extensibles/cspex8.mf:' 'original size' '139,' 'current size' "$shar_count!"
fi
fi
# ============= extensibles/cspex9.mf ==============
if test -f 'extensibles/cspex9.mf' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'extensibles/cspex9.mf' '(file already exists)'
else
$echo 'x -' extracting 'extensibles/cspex9.mf' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`-99<C,"`T6,,0[",!`$>TO^PS;T4`+*,WB`(7N1%?EB^<["S\=%),K9
MG=T+7D;4U%*AL\'HGG4S2#L*/H7C=HTA"[KN>GQU1N]D?"!K[7X2),>P4K!1
BV9(3UD7R@"^@KK-YSH]SP''_DU6.25.*X0>0N:I$BP```"!K
`
end
SHAR_EOF
$echo 'gunzipping file' 'extensibles/cspex9.mf' &&
gzip -d < _sh01210/gzi > 'extensibles/cspex9.mf' &&
$shar_touch -am 0509005597 'extensibles/cspex9.mf' &&
chmod 0644 'extensibles/cspex9.mf' ||
$echo 'restore of' 'extensibles/cspex9.mf' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'extensibles/cspex9.mf:' 'MD5 check failed'
9da0a112eab727aeb9f3ba6c41f46b2d extensibles/cspex9.mf
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'extensibles/cspex9.mf'`"
test 139 -eq "$shar_count" ||
$echo 'extensibles/cspex9.mf:' 'original size' '139,' 'current size' "$shar_count!"
fi
fi
# ============= extensibles/bigcspdel.mf ==============
if test -f 'extensibles/bigcspdel.mf' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'extensibles/bigcspdel.mf' '(file already exists)'
else
$echo 'x -' extracting 'extensibles/bigcspdel.mf' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(``@%S2@"`]U8VX[B1A!]1^(?6LR.PFC:R'>817Z9*/F"O(5HUL8-[HRQ
MK7838#/Y]U2U+]S,93UHDMV1@,:NKJI3==IUF'OR6\1S,N,Q(],TD3Y/<I(S
MP5E.TAF)?3%G)&0Q7W#)!!BF@BQ\&1&VEBS)>9K`I43F@VZGV[D'9XSD_"ML
M]@4C7_Z>2#F91K[X,ID$?/[/3Z3_9H;1W=L#W;_Y7-ZTBIOHZG!S86"7N_TD
M//)06#A;%[,TCM,5"PE/R"+-)9GZ.:06;&![!2!`X.#"GP(^(B,?K1(R%^D*
M7?@BX%+X@L>;LAC@ZPU#D%RR+%=Q5A$#M,55**:K3^ZQ>!**@<6!^N5\GJC"
M#-"^_RM4D:W]118S@$(,7<M2#H;*>L7CF$3^7^RX^KQPDJ,3P_PTH9\R28DQ
MJE:F7:TLO5ZYU<JN=S`Y'3P4'?NYQCY-(4\,@7D+/X'0$QW^-&VB&[JC2@XK
MI[@P'*H6SUG"A"]9J`@0,J`,F\F7G"W\1/+I2P#.7YGLLW4F2""8'\J(ANF+
M3#/\"%+Y0+QNAV1\^KK,R%3P/!LD/!C#M62Y`").(1^XF;`\'V^77B32)214
MND3S+,V-?FU`]8<Q7C+W+X$=A"8;PXO&!**3C>D96C@F\4R2M1%[ZM.,2_]]
M<^`LM8%3^U`>X+3$H?!70`&1OC+RU6":]M5D8T+ND18+HTC'VHG]5.9C'UPK
M+)T&2_?8<FUY:\>#-,=$0)JVA^]NE>M*&PR=Y>-AMAM+>!L;7L:8;)S8V[CP
M,O$.GY&B%9^/(5D(R09(,XZHEED&%`E\46^#XC5L<W";6V_#XU=M`TC#X_Z,
MCOJS&1:ICC!+LAYZZQ%`?BQ!Z@.GOR(:L0:FLWQH;L<0DQAMVV$2#,^2V`]8
MG/<-:E*+VM2A+AW2$>3!DA"H.ZXH+/@\^AXYC&PPA"*%*;:L0`X__N\X+,HS
M9Q='KF8Q<EC[,3FL?1"'NQV<:#&'B9=.94_7S=YGM8*'=[G23;M:V=5=W35[
M*AX^PDG)^OS(F54[,VIG3NW,JIU9A3-UF':\=3L[D[<*NTV`ZK18VKURX1XG
MU>!C-V[MPZE\#!MR475:(#C20X%11*A.?675@XH&;,X3-.Q7Y:2CY1T5RYB]
MU)V_HZALM(.+V%P__'.9RY<9EWT#CN*=HDWSF-S?3:58,O56]!=3&.^E_7Q]
MVMA[.E+Q#Q.W+B=NGDT;>/S[0>K(V3\N`T!A=W7A@;/TJ2%_^XK\+Q1^T!;`
M\[<`@*-&GQI;X%R&8)T',&R)X)?M26J$H6D:/%T;P.!A-?1V=+)++`TC4XU`
M3'T[_:IOW4XU]S1\N)J>%FJ@P2^)-]R.FZ\9>6KBJ7C;85=_[79P>&W5UZ'N
M*@+M#JN&H/50VI](:K+LPA[MP&X:)SA$0!:M[49H1^,#(AP-CWIPM"$%S$Z9
M+IIX87\\+Y`3CXH*UVOZ;Z2%LT\+=X\6.Z+</4F+7=UR6G3L*X[6M'#;T0+T
M1'M*;/\GL$A#Z',3.=R2'#H%-MRR^\9>_^')8-SZV7"NNQ_?J=.'5XF90NI<
MHV:LUFI&ITK/0!HG?C&UD3/7)H[RL[V>T:EY+O%W"IJKBP_"N:VB`03GB_\^
M27,U!%#\[36-3JVS$&X@:IJ!G%8U5OOII5-;H;F1JCG_<_[6JF;[>WS_A_@/
M*6I.DN*TJG$^GA?-JN:FM+BH:BI:N"=H\9V(FG?2XAIE,SRC;-[%@%/*YG9$
0.-/A_U[8_`OQF(1=HQH``+BH
`
end
SHAR_EOF
$echo 'gunzipping file' 'extensibles/bigcspdel.mf' &&
gzip -d < _sh01210/gzi > 'extensibles/bigcspdel.mf' &&
$shar_touch -am 0910194691 'extensibles/bigcspdel.mf' &&
chmod 0644 'extensibles/bigcspdel.mf' ||
$echo 'restore of' 'extensibles/bigcspdel.mf' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'extensibles/bigcspdel.mf:' 'MD5 check failed'
a1fda0d10b10f4d24f25dfcfbe6f128d extensibles/bigcspdel.mf
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'extensibles/bigcspdel.mf'`"
test 6819 -eq "$shar_count" ||
$echo 'extensibles/bigcspdel.mf:' 'original size' '6819,' 'current size' "$shar_count!"
fi
fi
# ============= extensibles/bigcspop.mf ==============
if test -f 'extensibles/bigcspop.mf' && test "$first_param" != -c; then
$echo 'x -' SKIPPING 'extensibles/bigcspop.mf' '(file already exists)'
else
$echo 'x -' extracting 'extensibles/bigcspop.mf' '(gzipped)'
sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh01210/gzi
M'XL(`!@%S2@"`^6778^C-A2&[R/E/QQE-.JL2J;8(9`IXFK;FTJ5*K67D68]
MV`G>)4"QF2&[ZG_OL0DDF2'9;#HK9=0;OGQ>'Y_'KPU<PU^)5+"0J8`XSS23
MF8*"R5)!OH"4E4L!>2%*IG-\M,A+>/_G'R!J+3(E\PR?9%K=#@?#P37\GG.Y
MD((#]>"W*@5R-[L#G0/C'/+QHQ#`,G/U)/A2;#2_LCCI$D#"%##X\&6N]3Q.
M6/EA/M>82^EU*O[YP:1?.780*Z83D!F85L?T8WI^IN12%2E;OQ1O&G"@YEF5
MLK:`]RADL18EHN!"V02)@))E2&'N$M<?C_%$)\!*`4N1F6$+;M4F:2J5ACS6
M(XP<_;RY"D8AP#6HORLC4D)CMYA"B5@;@$HN,_5<3MQ63D@C?\CK`Z&T"YUL
M0N429[!D:2K2`QJOTTRW&CNL5+!'F2T/Z+JJ2+#5_2(_?E*Z9!`GN8Q%OY1V
M%5&RE<:RC-%XQAK]JJXX.GFALC9J=:A<&2V,MHXYRGP4#@</8BDSH[II)\TA
MT^K*<1WB_N3SY.H=!C'^L5+Z?B'UC>NX[T(H9/RI*J`0V68@*F8IFDEIL<+X
M=*&A)E%2YA5ZL@JAIE%-\.1%]31Z&N/U<*#S`M8D$H4*<6HUK&DTYB&LO6A-
M\32-UB:*E^P)/M/Q>/R9F,/4'+S&3IA,6=<_L!*3L@>1JAOB4,=SICA(D7%3
M6+A'9G=%[,*ILF-4@I%#W8:*MZ&"_N(<2R;V_EL@Q57Y*"Z;TM8_[:+KH8(K
M]!*]8@%8%%Z+(EYCWE?RS#$@Y$W8Y/4![=AE9^.5:G60%!TYLPMUCL60"NP\
ME9EHVQI4MJV4RZ1M/,=`)R*:X.IZ*V;Z#LSV/?7BQ=Q'S!LY=T=,A4W5U;?:
MRNT0'>0R'#3T:O(C;50WM],GD]P0(Z$!1O&N]J,Z,%'/@GP;%#1!9U-M&GW3
M&-C&E>0<B^MC[OA.<+)73T(_1;-.3C?KUZ:BWZ[_N[G87P-]'YE]<^%?[M[:
MO'/,*V?SQCE[!ST51O"&=M&SZ6Q]THS7_FBV?Y0]5/!/I/M0^8\>\?<I8.U^
M"+;T6>1N"O=,X3A<V\E]D>..@DQ,Y??-,[M&FLL=(A9&LWZPGCT6DW;E.+.3
M'',B%O/]%MS2[V*7BP7UPCS-3^4Q3O3B[3-!(K-N;[85O8:!OHYF\@8M="ZL
*?P$CMO(/.1,``&*7
`
end
SHAR_EOF
$echo 'gunzipping file' 'extensibles/bigcspop.mf' &&
gzip -d < _sh01210/gzi > 'extensibles/bigcspop.mf' &&
$shar_touch -am 0910194791 'extensibles/bigcspop.mf' &&
chmod 0644 'extensibles/bigcspop.mf' ||
$echo 'restore of' 'extensibles/bigcspop.mf' 'failed'
if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
&& ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
md5sum -c << SHAR_EOF >/dev/null 2>&1 \
|| $echo 'extensibles/bigcspop.mf:' 'MD5 check failed'
2b5fd0a78f740cdac803b6c08785884d extensibles/bigcspop.mf
SHAR_EOF
else
shar_count="`LC_ALL=C wc -c < 'extensibles/bigcspop.mf'`"
test 4921 -eq "$shar_count" ||
$echo 'extensibles/bigcspop.mf:' 'original size' '4921,' 'current size' "$shar_count!"
fi
fi
$echo $shar_n 'x -' 'lock directory' '_sh01210:' $shar_c
if rm -fr _sh01210; then
$echo 'removed'
else
$echo 'failed to remove'
fi
exit 0