From owner-freebsd-ports-bugs@FreeBSD.ORG Thu Aug 11 07:50:18 2005 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id A5AFD16A428 for ; Thu, 11 Aug 2005 07:50:18 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 052A343D48 for ; Thu, 11 Aug 2005 07:50:18 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.3/8.13.3) with ESMTP id j7B7oHtL075529 for ; Thu, 11 Aug 2005 07:50:17 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.3/8.13.1/Submit) id j7B7oHvu075528; Thu, 11 Aug 2005 07:50:17 GMT (envelope-from gnats) Resent-Date: Thu, 11 Aug 2005 07:50:17 GMT Resent-Message-Id: <200508110750.j7B7oHvu075528@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Timothy Bourke Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 15E4F16A41F for ; Thu, 11 Aug 2005 07:43:40 +0000 (GMT) (envelope-from tbourke@blipblop.cse.unsw.EDU.AU) Received: from blipblop.cse.unsw.edu.au (blipblop.cse.unsw.EDU.AU [129.94.173.47]) by mx1.FreeBSD.org (Postfix) with ESMTP id 8915F43D48 for ; Thu, 11 Aug 2005 07:43:39 +0000 (GMT) (envelope-from tbourke@blipblop.cse.unsw.EDU.AU) Received: from blipblop.cse.unsw.EDU.AU (localhost [127.0.0.1]) by blipblop.cse.unsw.edu.au (8.13.3/8.13.3) with ESMTP id j7B7hZGB013896 for ; Thu, 11 Aug 2005 17:43:35 +1000 (EST) (envelope-from tbourke@blipblop.cse.unsw.EDU.AU) Received: (from tbourke@localhost) by blipblop.cse.unsw.EDU.AU (8.13.3/8.13.3/Submit) id j7B7hYxG013895; Thu, 11 Aug 2005 17:43:34 +1000 (EST) (envelope-from tbourke) Message-Id: <200508110743.j7B7hYxG013895@blipblop.cse.unsw.EDU.AU> Date: Thu, 11 Aug 2005 17:43:34 +1000 (EST) From: Timothy Bourke To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/84788: New Port: math/proofgeneral X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Timothy Bourke List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 11 Aug 2005 07:50:18 -0000 >Number: 84788 >Category: ports >Synopsis: New Port: math/proofgeneral >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Thu Aug 11 07:50:17 GMT 2005 >Closed-Date: >Last-Modified: >Originator: Timothy Bourke >Release: FreeBSD 5.4-RELEASE i386 >Organization: University of NSW >Environment: System: FreeBSD blipblop 5.4-RELEASE FreeBSD 5.4-RELEASE #1: Sun Jul 3 14:15:31 EST 2005 root@blipblop:/usr/obj/usr/src/sys/C6651 i386 >Description: New port of Proof General, which is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. begin 644 proofgeneral-3.5.tar.gz M'XL(`)4`^T(``^U=^W?;-I;NK^9?@3K.J1V;DJB7'77=$\=64D_].I8[Z>QT MCDN1D,0U7R6IV)J,__>]%R`I40^+`-G,=%@"J1'UO'#S0E>'6I5$M_O=9J''Y# M:B5PKW7_S_-?55629'7%"ZSA5F_LDA,_(-H1J;WMU!N=5H/4:[6FLK^_GP;= MNAN-R5_&-JD?D;K6:30ZC3J&:BGOWA%5:QTV3:`@CXBK.S0D?6I[CQ5%[5Z>G/:..:FR MS^]VOK#K_=7)9?>9:_N)IL)`=G405C-(F/7!!$S:#V@X&E;#]2>(-.C%SR01RL:L62L-PZ. MR#[\\F1\!22F]=DRQT`T`>:!!W#0*HUP2(T(DBQ-J;-N[^[^YK;[X?P73#"6 M5@`";5P@!QTC^`,1Q`\@6Y\.0!(Q=(C.(_TNH"C&UXT'?8CY8KF@H$[Z8\LV MX_"91+&MSY2`-8G(+JT,*R@J\!T6?`]2GJMQC)%7U!G%N,_^K,_.%_X'RXR; M3V?'.[OAB&*&/II[X(=ITV9%K-V$%&)I\VJ+H#,\Q\>DQB1XI22W'5+I3R*J MQK>*NF7K8<0*P?%OAAYE'__V/;$&Y.]D>VGUYLT>8 M-;.,*C/_JD/=<87:F-Q*%MH!B=V+/?*DAA.G[]E5VPK]ZAL,C+EP>(2YP'XQ M%[:X3D!T>_U3]ZI[<0K9M?6.&B.H].0]R(US!,O3+VJ/B:Q4*ML0:MY"]C#$-\@/\^6X/4H![SR9G\BS5 M\HVHVYZ)X0?+M:"DFI7M0@*9"=6.#J!9W&=7+2[C^)^W_22PP=FN4NIC8QK0"L![0`(#1CC-&*QK8#JO0M7'Z$LGM[ M688&98<:;^)YM&9.]"D';RMO2B!D8 MG?A#%=(M@FQF<2)W_1Z^S\]KDZ MV\N+@R[0+4=FN*#(,&P6Q8BA/#$3GCR?L>>90`IY?WX%DF=$]"TW+<'ST8<' MUZ?9X#Q9H%&=2\3+DZME`1W=Q?^:HIY??;A>%L)R!UXUK2E<]YDZDVBRGVH" M?_0P<93]!0/NG?6%&4_8("IC#/ MP!R9D](!X^4\@#T@JD_2U`#]#<\-JU`Y/=L+JEK[26N#J35\0B.C&F/C0.QA MIM15?+`F:X1!$_7E?>_L_OP*RN;%Q?W9R=W)2#6/GII'JR+%'@K0K[*0N.7Z.I9#5312B\JFC[(\Z%U,P@.=A,LEK(^R ML%+2(E=KN3;GU8`.K3`*)HM)LBQ4EGFXA&\]B_P^> M6T8$@U27&C0,]6!R``/'"(:5\8`26UW>C84>GH."<%R*O;T(LZ]/X\XG#/M\ M-B"&T6I_/,2!Z`%V-#$T=$D#-I\`'5<^6JGPKO-A_4!K0M>Y?7C0J+&N\[1= MG&O<6+\$NB5;;%B,'=S8[Q[:[MXSWOUR=WO"[[Z'H3Q9`%=W=@;XQ,5QY7(Q M#`BYK_HP.-H9L/'3>OP<,<,'L8!EZ/V7V)>5C9=4V5^IRJ_P;`LDXG.<%2"_ M#2S7)*J)\H@:37Q*S-_B<#`D7Y%FPVD(<*SX''-)\`RD41\R78OE#%FE MWNGM^:#A]6JL=:.UX'GIF1-1)XIV5PT>GS[RU9@49O6+=64U) M0LRWMVGT5@&F(S\<>'5P7KC"^R5+O0&99N;UZ7-633[PG%$3Q\.9IER;"36O M*O@_OXS(D,5#V3FV-U,MT\?5$%*V.LVFS//,>)V!W\P^!;KU$CZJNJG[$70# ME@M8&=-%;:$X8%*_[D"^L-E'N(OG;G?>X&QAZI=,/:(W2>?AXN+3(=`7BN?) MC!'IZ^&(S?I#C;&3,+P'8W@!3K'Q"34^P=_$N?W]>JL^MU)R\_''Z\LN7\`` MPY.(Z4/?":F2M0E<1(@G_`V;ZJX_3)2"*+&8I#ZSLS/?[8!#@DR.?*?L8UU+ M(BN$)'&ZL$BU&@>:!K%JU_&:S%Q":M//U(;T3G13!].5)_8,$IA-4W,%ECZ> M)G_/@MO2*VNU0_;F_7?K^%P_1?M8W8-^&Y,R5_&+B&'1#OL-.N= M>KRZBVO`L\$70S8/9]:!W^(")OMERT-))8OG'5>8`L\@T.#A\LSQC+TG"#W> M7A9\F^R\6RMIQEZM$456&:$7%5N!8+KED+>HW@L"R8P=='07VHDA969PMC;' MK<8:V[6L_C\,50='[4,*C68)96QM_6\T^?X/J/CM=H/O_VAMZO_7<&JY3KF! M?DA("9\DH@'?RF&Y\"<-<>&![]X(O4'TB)-%\2:&<4BA/Q^[413YG6JV;PJ= MMPHU*[I1&3]4$^&*Q=4+"J@])ZH\^CCP'.D8&VR?QB",1MH*%E?6IRAKU M`Z*;)IMO&GBV[3W"(\6V7(J]*_2M\*8?JE3<"ZC.+E&BKKM(S%:==:\MSNUM]..P%+<:@B?FVT? M:#7H$_`KZQ6P2K^+2RYD^T=J^[AY`CUW==^GKAG?D=]V_WZ`H7#G#&?4PQ#L M@.Y&9)O@Z"YPV&B([0"))RC(=[L\+$XD[TTG+D#ZK#])_0\P&I^MT.K;U(]Y M4#9NB(&FUOS'-.Q+ZCS2/FN5YW3I!]YC2-4Q#`WG,.K(%G_ M)9!_I)C=-`R;;&?9J%(WPHT@>[&#[L:_NYQNW!_CTQ/ZW M-6@"P/Y#3["YL?]?PZGSXS^<$UNR#[CQMM,ZFNX#GH?,6OUZO:/5.K76['[@ M.K?Z_,JGA$A$GZP.&?LF;NQR]*%EX.(%V)\H9!U%>$P&@><@&2XHND/F;W@F MG]\!\[7+)H8\G[+50.*Y]N3;/;XE;F[P"0G@RM&JZCL MTF'^R;9">TK+'[.%LJQ0')OA59T+BOZA_IFJ_?%@`/W4_5Q M/NQ)HE"?S2^"7@!-6MYEY"@S&RK3SYQ_-E1Q';5`Y-A@=-,^_$E=QOZ;%NX( M'W@EC7^DVCW:=OW]9U_;`_@&Q[:RB]\__NOBA!.WS[]FVKO;$0 M_Y$N4_]QYL^DH1&4R[%V_-]H)?6_UM1:K/ZW-_V_K^*R,V?X5E4RK.>S=@/= MF)E:)NE0,CP@QC@(H+-F3Y2^CF\'>"Z;.C,@13W'^J<.(U#L0$2$FE8$$OA; M7.0\8J\YQ8NBU,(WB)1?NLE\V\>KGY.0)\2ECZ1KV)8/0V!.DKP59K&^8-S] MPSYC1;F+WPMC)=CJ0^"0^CJ^9V!/"(S2U\XK/EA1]=%ZL"J*DDV6D8YOD-&4 M#T3K$8OLQ8?3'I_5I.1GUV+:11-\":QK6FY_'`Q'+,:H%NZ:L_KC"-#\13"6 M6IX+JS0VR.TH6VMC M%X?'X(KRZ=.GSMH$V9CL__MNP?[[6$#*Y7C9_K=:[>9ALOY3ARO:_\W[OU_) MX6Z;S-M!>18P=,.NLQ]\#U`48.1').\#JL)<\\A\I(;W._Y7]7X_H)_5OQ[F MY5P&E*&4XQ,FLZ#Y<2-1LA0E1A9.W$A_$B5+44)D@BQ"XM,B)<@SA\M':%+' MLT(]N:I4#R=Y25=@I8@E.7/3)=-0]]#T"(-&'K[IG5/#>9`8E3_$%1+/$&6; MP0D3#CW=%H[>#$Z8T*&1;NJ1>.X!UA]:OH2N,4R8+J"A[V&76)QR!BI,&XTF MCF>*%[HL5)@VGJ&5A`G3/8TBQY;@2W#BA')T,F1\L7,<>>S]=N?E=@Y8C=@364)8ZQ,L0FQ95\R>2>@F6HL?4K%/&L`!D5Q+I;*[`RQ,EW M/:214J2.(\G)@#*4?*>C'&N*E2+&S])(\L90*5J^E">/E"+U;3T<2=(F6"EB MH0'$"JP<,7Z'1Y8XQLH01YYG]W7Q)G\.+$,]CBR)3F<&*D.;#)+DF&?0$N12 MG,)4H:^[*GV*)%J"+%2"UOM,`UO//8!<@14GEB$4)EJQ!Z(,&?D4@1'EVR/^ MFYNCF,&!%D,R#!*F<_&9J#B-()+1JN(`2(W/TT,L] M?3H3:' M$2026828!XE1?=8#8:88DX_('WE/[`=G\'&`*%`&5V!%B0=>_C6'!90PV5@B M>APD2N6-(_QFASC=%"A*":V?:GO&@SCG#%*4--*'NI ME0&RS_H[NJ\UCG+/BF4$F(&.'V>28Z>A,:+!@^M%G4*"V=&J6E4Z.T=.(&L[A&B9Q2]&F7I$^[N#ZE%:/22E%IA:BT,A0W6&5H M%`LJ1Z-2TB@65%2CM#DKKM.,J+*T*B&E9D25HI567EIIY:655EY::472:N2- M@R%;$Y`:/.!'U#)F24Z+>3&2G1O?&$P',G!33`)F3PE"_,)"FL4EE!&79J&X M-`KG2Z.,?&F4D2^-POG2*"-?&F7D2SS0+8@O%(]IEZ^8B'91?/%8M`O%@IG` M"A[Q(@4OHWZ443W**-ME%.UD_J.H@((12;NB!644J*0SW=CB,@I$A$_F2,.G M4SG%111*BTS/N;"4`AF;Z7>7(:5H=+3BN:.5DCM:*;FC%<\=K934C@L)5)`:4WC?JTT-ITLEI:0S)]+"RB$EL&)8-B&+!%` MO`=/"#+RGD3".XXC$AQ?O!`*CZ^\B`#P31S!\$+!V9N2(@CVM0H1`+N*95K\ MW4H1B.']+A(]ZM.?^CT6JW MV???VZW#PZ9VB-]_;[0WWW__*NX5N:*/Q/>"*"10BVS*7C(BR209'OW1(21S ML+3RBISAD6U&0.%B=I*S*C6-G(R'D)[\X+=7Y-/(<]*GB;NS'"\:3\?.R=[**(+>?^W> M]LZOKXZW&I66[1UO.3H>+\+Z\),NM1&,'&LK581WH)7@!C`]I9>R&CZ#9N**/J_ZXGXI)<2].FQN,T4<> M(SR$28&(GU_=P?_N[?'68D(KI]>7E]VKN^.MDYR'OBC*^Y_/+\[NS[HWW:LS M2,N^'HXZ.U\P(WK0#WFNLL]:AE7TQQB1K9TOO+N"*CYWDKL4H%2L`8&A:!B% MN_RDY;TLQ_XQB$A-X3,,ROK5^$AF?E%]W7C`/F5&#W[FS$(8I4)=TQHHL[35 M<1A4;<\``XBG(<1:H#7^=GF(6,UI3%CDCCFPKK%)-R"R0[H0)@Z2JH''_MV? MW'[$:$[3Z3B3:&2QOY<&F/5\5G[N=>\_LM/CMR805[R]Z=Y>M/BMTOOY_?V' M\PNL`S-GO#-O$'&7:)"#"/2^THZW,K6QHJ$O%"GHJ?9ZW;/C+==3SJ\^7$.X MFX^J;NH^.X%[MI3R?/C6!%OC4G/WZAI3ZNSZM+>G)'\=SX+OWU3P&],9&8D? MUI]9_XIO#L@,%N\SZ7U^U;L[N;BX!Y9C//42GR?YXGMAI+*#4#O*UKN=+W?7 M/Y_^^$Q4AZ@!V?GRZ?:GWNWI\_*/YK+C,U&=->&`)R_::`VUX01MY/T))[CF_9>FSY)\3U^!E-6/]] M&M@39@QTFY]^'E8J%4*6""NLV>WE\TSB5OJ@F\IUH]F+N&/3:AG>N'9@6;V8KS\,/F8*6-V[B-V[B-V[B- MV[B-V[B-V[B-V[B-V[B-V[B-V[B-V[B-V[B-V[B-V[B-V[B-*]']+URHS)T` #R``` ` end >How-To-Repeat: >Fix: >Release-Note: >Audit-Trail: >Unformatted: