[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

proposal for MX encoding




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