From 2260741a643160c88c041fa7522fcf3d2001a381 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 16 Jul 2008 17:58:25 +0000 Subject: [PATCH] * Leave a single definition of `maybe' * Change icon to the 3rd edition icon with transparency * Change url to www.eopl3.com svn: r10799 --- collects/eopl/eopl-small.gif | Bin 4799 -> 0 bytes collects/eopl/eopl-small.png | Bin 0 -> 2758 bytes collects/eopl/eopl-tool.ss | 4 ++-- collects/eopl/eopl.ss | 11 ++--------- collects/eopl/info.ss | 8 ++++---- 5 files changed, 8 insertions(+), 15 deletions(-) delete mode 100644 collects/eopl/eopl-small.gif create mode 100644 collects/eopl/eopl-small.png diff --git a/collects/eopl/eopl-small.gif b/collects/eopl/eopl-small.gif deleted file mode 100644 index 9b3ba5f9cfb08d66864b276f13152deb9b814401..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4799 zcmchacT`hbv%vQ`>C`|1(n;vufRxZf2LTCHP^2XRLJ6UxfC2(4h#(>&O(_-xu>*FR zf`ST&y#)}(b}tsJXkK#tme=>zy5INK`{T_YbAEgF%-XYO=B#y&n};jaGLi(8!6yI! zMgk>4#Nd};C1u2_~`qdL`9)5cTN-dEemOxr0)$Ie^Fo~~4Al)>R~1;&5geu;Ty`v^;^gWG=4y7z>P;#EFqs)|CX7fl)VscD!X3YNa*t!d`0^K&rj*E|Px|G08 zOJtZNwvKRO3^|$Wxk*XfjO^6Z)U<{(X$MEsb2nyXWoA|G%WA)#ot=}Do439sDZlk> zK}F5R;*yP>BZY;9MVm{C)2&KMO12hr%J#IEbq;LHHLI*Bt2{ouW5%xi0F z>o%I#7gFob-)u%>D48 zrV}SloV+~IRbka#Zqd^>boT7o^Ho+CE)MkWvgsYZ);l@fUu!#X^U+|l)8OFX)vH%W zPHY)H?se_(@`*e5Z=UwMDUe6gllLCnI_7@=?(GLXo(~@L9zJ~dn8)K?^qCr3Gxg-j z^qq!j-jnI)uclwTndx_(c`)*HW@h%X@5^g}FXx`WdiDC%+YhhbynX-v{f9RrAKy-Y z{QTw1)9kOGK7M=K_wDP#;^N}>x!mtx=YGsa{dku05IWfs>H`B@h4~Zv%k_;HIHFokaSV{eSzAVsKN^0D$O%fMrZps-Q4Xp@0)I z)3`$Wynu;O@j`}$Hz1}65)`nUkYj$b!CyWdrB8MsP5$4QgCNhOQDB#T*{B)LJ zf$$P6iZj@(OaV^{SR)}lkuBiQ0wyN1B2xiCiV5v$EJmz=DFPNt3Gj0gunhoMv6$aD z>NiefWeE}mz$uBlHiaD%n?}-M=#q>rEvY1TR%QY#EzOV~$%v0kVUnDZ61kC_wE+CQ zv@i-t3yVt&9;vk`+!&Y+4%EYU$F<%uFLTi(w?J=r8$? z4!=DA8Gbv@NO<0_;*p$L(UIv1X(VA)8A%CA>HHK@DmRkBA{qYAIsQ+P{}}jNUcV(` z;Kzz)rLZ`Hqk;r;#^%Hb8qQ&|)7VKI5}Wf+J^nw2{g#6ee@?al2(3Q=G295?Zx8|E z%_ufL723I>B+!4bFi+a2bq%F>nh!06Z`YUV(Y=5qyIn2m^^j1V|oIg)||3$ONK7 zc909?1^GcCPy`eMaiDZ42igdgLX}W0)C9Fb$Dq?tA9Mv8hxqrPDd+|C4*CisU@@2o zE5lmwQkV)mz@BgbyatYeli_u6A-oN)ft%qDxC`!sN8np94}JwNAOJ!XA&Vd*3=vd> z6T%0v3K5M+L99oVAgU3~h)%>A#1P^pf`@pG_<}?u2}lys5NVBcM+PDp$YkVtP z-O(ZFICM68E4l%F1l@}sN6(-aFc^$HMjvB~@xer5(lEuC-Ixx{Ma%?d7V{Y^idDs$ zU|q4RupDdwwiMP0?%@eH=Jt{gZIwkr=Oj=A&%tjP zPO@6^gyap$*LWOW3-5%F#IMKK;ZNi5;1{F_QpQp~Qi)Pqr4C75k(!gnNNY*ENHe7i zrCX#2q-O{Sf;z#8z#wcSv=S~6W{GH`HqnC^M=T{CCSE7b%Sg+Z$^^+|$<)c5m*L4G zWVK{HWD{h|W%Jkk&l<( zF5fNxNCBy!r{JrQsnDo!N#V63QPEnFp;)4LT=BjVtfZ&pr#g(^YSPL-`%rFv2IB}sWJ&u>m=(m>rCpRb*Z}Xx(&Kxda$0EUaVf7-VJ?N-&~)q-=IHk zfHJT&;P4Ha4el6<89Eqd7`7Wu8Oa)X85J0H8~w3VW9h1;+m{Y4{XsFKBv4u@4~(Ua zmm3!tpD})CqG!S|sWX{eCceyd*@k63%ifymo3czBP4Ai!%)HGunf04}H@7fPG4C{g zVWD9WVNq{!hf1W+4 z%{J1u$(CnFvWu|WYsa%E+eg|r+fUQfX-wLF+H(h8hd750hd&%Cjwz0(96vc(IpsR_ zIwPFjoJ*XqyGXkPy41Qnc2#qYacy^}Kh6-%;ve}9n2TWkI%nWKq;s!_^@&1#xsS=g?WWDMQ%my#S+CS z#dkJYZ`!jNxtYEB`j%x|c5nGn!YsL3N-3=_UEIppdbP~Btfq{=EqdGaa`W=W3Umdh z;`Vm??FTERD%Vxc?C{>vRYj^Qsrs-peCL&F)9O9DM0Ta`;?;Q7^z7EyU9o$yHn#Rw zonzgRdZqd;^`9D;4HJ#D#?C#;drJ3w-OJv4x5=%kt68hLx&_^m(ekV{sC8%`bzj?l zh5e=b`QHz44)6~89UN@4Xlpy9bf~-?ZclH2(Gl7)cG&rFPp4sL(-GMtrANWh^rJ72 zMI5_*-1B(<3F?W?lbR>%PZ3U)bU|HfyXL!NyLmk!J>#dBpYA_nedg3zqq7Ijk*awVhoOtZw!`PH zSY0`Nm3p;%#C)V{)NJ(BHM47{uA5))x?ypnXUuZ!%(%_?g$etKzMIZBFHd?*j@(*t zYy5WL?YnnE@9^$2@6O#zxcByc#{F*(@*bidmOR2gs(!5WxcQ0hlOsHH-uWr#snKcw z=?626nO9F!pDsqt7CsYyR{dP{dE1=H+_@L7FUDT3emVP!`|8{4;x|%n>i^LB1-ig9prlDXP$fhXQ*r8`!Mi?sdQ-vDko!0%qzae0NdsK?f#A z?@7x(kCEBS`KW18I}JXK-V481ceC1zpB}&zDfqnuH&=w;H!v_+ZmL76UrhPn7EFP& zscA?1Wg1NV_hhtp1UceV-NzhY9FdkEJr_di7m;dVmnLDIX54H#6cI56qYUu>k~>>*TXgzp z{;G=d9rXM-nciR;a_-p5K7?f6UT3uf^_9zwZv~`!=VtV<`Z1z(9#|{w{Boc%w{z-> zZu1zw+55m`MCPc<0UWyk7o-N*jq1T%NYse}w;MLBBJA@&_Br`J+IAZSMqzF8!t#^) z@P*Q)6>23$w<4C6WsutnJfzCEyX9lFs`fer>vzo4#O)XH1FDTVj$Y>14O)1{Jsr{_ znz48HDxjoEd-FxZMaYFn3v9A8&KB8x#ppb*QY@+%r6i)YX)I!@8P%%5Mq1({or%#8 zeTTJL22I4GEh1BJjW-oqas^zOWdXN2W8hOO`DT)?~*fB^E8yN>WNw@AJuD8vMeYd z7SIc>@M`GI!(=W39wt|Do3CzOH{?gxX%Y*lpfx@17=D&vFLC;D5A#E%6Fs#6r@ixt IG#*(07mJjo#{d8T diff --git a/collects/eopl/eopl-small.png b/collects/eopl/eopl-small.png new file mode 100644 index 0000000000000000000000000000000000000000..1cbaa836768069b30513210ea989399042d2c728 GIT binary patch literal 2758 zcmV;%3OV(OP)otrSUHBI{VTBUiRuCx~6cYGX7(fCOj*6zD@?psQUJ zEl?Q9OA_QILD7ez4{f@jKoFxyf!aW9*L54mkpjt%EjhAiiLxjzB8TK~*1P=6>B9^q z%I@-#|K-1P=iYn1^Zn<1=N!6l;lcw%#ON(1qP;slcK`oe%)6ffef)R-`V+e<6bc;x z=!4+?^<9P;48q+2u54vh=RwCug023eyLNjYx!chH3PR;_x%lH=62Kn7`x|lP(t2{N zk??ft{Jsy*y*9qHSvyr4KRj5SI-X}|ku|ql-o#5|`zBr~Rz`M)a`J;y2lGEWR0(2c z1_3?K`bPIKL(BlZdg1-)cW$}ao!A|ZEoO|zVFm{aZ@zS}xwSE+qXNce?*{>}SptC3 ztgZAMWDlDr5K5yoG>*#tX{4PUn7Hetpv@z*bN}K&L8Qfd6D9rLnR_b>IW0WEU}gdU znx22?rA$U=#%Aurp$8s^)B(IT@a)0N=xnY*1rc^uuOn$Upu-$SX6{2}>>%3P>oDCW zm_6!iODGOaAZ^!SO$rhM<xMu|cf z0UhNaNP?L`>;V9RXk7~F044@Ql?O@-YwH^T0F$PWTHlUzngy^ibWU&pP5w~=<6a3%qKFIK#>ASvOT1$ztcEwZ=;p){QH z@XP=+0!bf9DZCWI3n9Gtljr_$BMO2a6Onf&g;aMKVDG_w>h2PpzK3A$)9b+Af`o*3 z7Ty}LF)*Drqz(agVDCZTPB|A|5khz&q!&UsH9K?E-t*YgFY96@T3xvKpmT1IvUzxG z0dcnov2#E_OTZr9dpK*MqY!L+-tU4BqCB#03x$0Cm6^%W-~HNGKeq}{4>%DiA;|sw zzh3_Rpfor(GBt9Vs~>@_ zLve5f?bU#KaBdyH6)E~*ffFT-Z8l>!N%1~SiW=)aeWga2;s7% zXPgM09Uugha44t_QX1UuX>d=H2?W(EK4SSUdOf*V5{D|NJ{IRH~ET{k7lw z$D2AgzzQTdQ1Xp5#a9^+-gyYwi{@UySv1yHu(h;+%ETc|9D4}iKovxUd}RnS2mod@ z)^EaQ37T;i491hE3;5i<8b^-AsFaJ4N+NRGhZScpbhfYm@rz&o%)1XgKK)Gr0P_!= z{K2Q5{Nle2jPCCR(;h8w&VYmfdyo3^b-e%D_tCA_P#T#;SgQ1NgBi|bV9zLx?MGA^ zMAuuqdM$+Ci>Vgb)czAwf8Y&Sndptrmty^7zb|Bgo|g z00PWd6j_$azyI66xsi36ym;>4v327LCXPRdv6=fIbqMbnLdyT4^Wi(K4}g4S2tsQ_ z#WGwPBY?-LgL#Cq*UAtxhDLL@jrSXntD@Cvl?%CCMQd#UMt5fuwZ+R2LSp9h8I;El zK|xRvJF6dI`^E=g0Go@KQ64*lp@}2Vg>l%z9ION4)FI70tYZYZ z-QXtY5&WI?14=&o?6adul0?U5XRd{Tsx7Uo&E<#2RdZvd*D!=R0EE?_pGToQgaaoY zg^F^>I&BC+C=5?vWa=1JE}g^pu@eaMC6JB~a}^igUP5*H!FZV0x&)4n9v=qD=qEAX z`#asj^Dhb^SmpEit}#X%WAx*vA2~ZaJ+<`a+4GMs1E1f`0vU#2W3YPp0=Ad0VfyqL zlqU{D>j3OMT)#4^AO}(!LI@P1s693^zP8z@zO_((^4gJb;l!=h)cK9tQ?FNthPDQD zrnT0YDi(`v01!fWt+go>3a#O4wH9a+p5}CaoPbR&QW*YOYse1t6Kh z-a~~Eq*72e*~-PM=f)=om-DvWOiYPx;o&#WULIZ>9c>qbFie$FR!Zqqp-|{ZDV^5Z zgkhNG^Z9O}Q0RQ+OJDfjiTmcye*dM{{vgPOMF7Kl<(h=(6{CK~5=N1Uv}%=;^`8_w zD~kj$MG<@UB1w{{)oL51^r%wG5(&RM45=^-Qy~QRLD(P&vM7p@9*|<^p4pk_Uw!?J zQ`g@W&spci9UUN$5FlmJz00M+v#cmqeR5sd(r>HlXF&DYn8QD zr)e4{NfO3!oa=Tvg-*9y=ytogMzdM`*0=xaxuh_5`qNK+@zPw`|I=iVK9W*8DW&g8 zgcrsbog_&a6BvF=Sa(6`2TAL_}L_VM2ESJlTyLv5S%w7;dmStg@ra>IXxg<%V zG)+TeOmJ;wWBAZmwN4~hO5ueNP73KkfcKuPwJOW9+fKxBTu726=e-Yzh?P>NSS;2D z1_qj+7OI6)&Kwi literal 0 HcmV?d00001 diff --git a/collects/eopl/eopl-tool.ss b/collects/eopl/eopl-tool.ss index 330d90ddb0..b14974ab2f 100644 --- a/collects/eopl/eopl-tool.ss +++ b/collects/eopl/eopl-tool.ss @@ -26,13 +26,13 @@ wraps the load of the module.) '(-500 -400)) (define/public (get-language-position) (list (string-constant teaching-languages) - "Essentials of Programming Languages (2nd ed.)")) + "Essentials of Programming Languages (3rd ed.)")) (define/public (get-module) '(lib "eopl/eopl.ss")) (define/public (get-one-line-summary) "Based on the Friedman, Wand, and Haynes text") (define/public (get-language-url) - "http://www.cs.indiana.edu/eopl/") + "http://www.eopl3.com/") (define/public (get-reader) (lambda (src port) (let ([v (read-syntax src port)]) diff --git a/collects/eopl/eopl.ss b/collects/eopl/eopl.ss index c379dcc884..42b5ed29ca 100644 --- a/collects/eopl/eopl.ss +++ b/collects/eopl/eopl.ss @@ -123,12 +123,6 @@ ((car preds) (car obj)) (loop (cdr obj) (cdr preds)))))))))) - (define maybe - (lambda (pred) - (lambda (obj) - (or (pred obj) - (eqv? obj #f))))) - ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define empty null) @@ -136,9 +130,8 @@ (define maybe (lambda (pred) (lambda (obj) - (or - (pred obj) - (eqv? obj #f))))) + (or (pred obj) + (eqv? obj #f))))) (provide time ;; useful to compare implementations collect-garbage ;; useful with `time' diff --git a/collects/eopl/info.ss b/collects/eopl/info.ss index 36b36e15fd..7871afc8fa 100644 --- a/collects/eopl/info.ss +++ b/collects/eopl/info.ss @@ -3,14 +3,14 @@ (require string-constants) (define tools (list "eopl-tool.ss")) -(define tool-icons (list "eopl-small.gif")) +(define tool-icons (list "eopl-small.png")) (define tool-names (list "Essentials of Programming Languages")) -(define tool-urls (list "http://www.cs.indiana.edu/eopl/")) +(define tool-urls (list "http://www.eopl3.com/")) (define scribblings '(("eopl.scrbl" () (language -12)))) (define textbook-pls - (list (list '("eopl-small.gif" "eopl") + (list (list '("eopl-small.png" "eopl") "Essentials of Programming Languages" (string-constant teaching-languages) - "Essentials of Programming Languages (2nd ed.)"))) + "Essentials of Programming Languages (3rd ed.)")))