Bug 84788 - New Port: math/proofgeneral
Summary: New Port: math/proofgeneral
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Simon Barner
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-08-11 08:50 UTC by Timothy Bourke
Modified: 2005-08-31 11:37 UTC (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Timothy Bourke 2005-08-11 08:50:17 UTC
	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,=%<XB6B"^.YW\;IXDO`#SQL,J4L#
MW?[F#W*U6NVPU2)PU0Y;VNPU=42KU0_;K</#PX9&:EJSW6A]0UI_E$*S;AQ&
M>@"J1'UO'#S0E>'6I5$<C_3Z)W'^3/Y7!Y9-P_(Y\N9_3:NWM483\K]UJ#4W
M^?\UW&+^5WT],D;JI?Y`\;X$#DB/=K.Y*O^U5K/99OE?UYI:'>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:QT<DGWV^^Z=0A3RBO1H1**1%9+(
M(]O4T8UPFW@!V7Z*_]8-PPM,RQUB@`ED!?E,@]#R7.(-2!?#5%#,U?L.%P/_
M=#OTR#BD)D)"D&_2@3ZV(V*YD*>V3:`@CXBK.S0D?6I[CQ5%[5Z>G/:..:FR
MS^]VOK#K_=7)9?>9:_N)IL)`=G4<!B0`830`<MUE'E7;,W0;!!LZZ)!PAJ`N
M"C!I^!!Y/M%=DYB>05C-(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>V<G#;9-OCT&CUU64O:VR3^^QX2'
M&#I$'63AWQ,'*LF\W\!2]F599\OG&NJ=W<N3G[I[2]EW=M__[:Y[>GUYLT>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:M<PLRS?
MQS%$,F,:,UYGTZP@ZN]$=3TUM$!IK&7;>Y"]C#$-\@/\^6X/4H![SR9G\BS5
M\HVHVYZ)X0?+M:"DFI7M0@*9"=6.#J!9W&=7+2[C^)^<QY6=FQ3FC?7II[OK
MF\4*M+_PY!=->W_22PP=FN4NIC8QK0"L![0`(#1CC-&*QK8#JO0M7'Z$LGM[
M<QFB@-W'D66,H,A/T)SCQ04+T*=@!P>688&98<:;^)YM&9.]"D';RMO2B!D8
MG?A#%=(M@FQF<2)<HNWI9LBLF^Y#*?4#"P"$EU?,;`@.5L4:T-_);I+3!]RP
M[Q$P]!?GO9N;XW`$)K;*O:NLC'"#!MT<5I)O4-Y'WK3'H/O>W<GMW30-J^MD
M,"_L14054U&I'=(Y^KC$/?.0@KQ+P'.$T"@,H"WCC$GI[IW?=>_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]!<Z4;7^1C?-`V8R;ZT[2;JM);R&YIZQ&)G>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)<VG2\T2J47]JU%=%BCT4H.7"
M\D9*3GJ>2#6/GII'JR+%'@K0<F%Y(R4G?7FD?.O)T?U0/B*)@/*43R0N5QC:
M+6CS6/]ZB=89N4G]785>K[*0N.7Z.I9#5312B\JFC[(\Z%U,P@.=A,LEK(^R
ML%+2(E=KN3;GU8`.K3`*)HM)LBQ4EG<VT];*7Q^[D@E),LQ,>FXA&\]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#<BOOWX+
M`B@,"??'^T^_9<#)N)D)X6/FZ3!Y1<19<<VJ,[`R4D,CL/SH1:76*12+>%FE
MWNGM^<T=*A4'?T$MS!I^1^*[V?X;C),[R93'?THQ-_Z#ROE2738%_<]7T'$0
ML\R0\S'M,V\%CMX>:#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_/<BQ;#Z"/B?:9S\Y-`0DG]U]!&H-6LDZ?_[M7Z?XXMW+]%TI^66O`+Z__
MUFJ'S3JN_[:T>@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$^&*<N>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%:<R?;KUWR-
MY_7KZNO7BZMHX)VI9MG%]W@Q<WM/44K.BSSYO[+]CY54,SL$Y,K8FOJOU5KI
M_K^ZUL+VOP%^F_K_-1R4D^6;07A'X$-@\6U>==:\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(<W!CP9!FM<R'>%G_
M)9!_I)C=-`R;;&?9J%(WPHT@>[&#[L:_NYQNW!_C<HW_L-]9@&.=_=>TQ/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<W'EOM53A1I5)]PY>[P"0G@RM&JZCL
MTF'^R;9">TK+'[.%LJQ0')OA59T+BOZA_IFJ_?%@`/W4_5<O:;/_:DZ=_5>Q
M/NQ)HE"?S2^"7@!-6MYEY"@S&RK3SYQ_-E1Q';5`Y-A@=-,^_$E=QOZ;%NX(
M'W@E<ZP;_X-9B.U_[;!=@_&_UFXVM(W]_QKN\JQ%=F=GG]1&I56!)*D,_[E'
MCDE=TYJ#&M5-S>C7^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+J</VVP$A^F`"))O:;\9]&W+BPC*H&T*O%^)(`\JSR='Y>S0VR.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]<F'6!;@,/;ZB
MH>=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/^
MFY<W"Q&A26<3)/@6L/F(+8=]Z^@&_3YRO\I1WXHJ0VL@+:`(]G_\H0CVMGMR
M=MD500STS_@)D`K^B.!&E@F]-6X?GGQ'!(H3!7TOB'C*RH+%<?&V5EG:!"Z#
M='%Q4)Z8P\61^):S+"O#BL-P1D:6DF%E8)$G3PE8<1AN'Y:E9%AQ&&Y6DJ5D
M6!E81(-@[$N7W*D`<:Q;H,:X<M7E=RI=6Q`JCL(7A71Y0YC`99!1H!L%B#E<
M'`D*PZA,DI:#Q7%3XRO8%"=829A@XXW3F*XI7<D95@(62N<'0G.C0KV:[K)1
M0QJ-<\^A+X?F[-`A-M0%!]8+*"$R0191\7UJVU1PP+X<FI\V&DU4G-(7X9O!
MY"=*^^V"Z3B'DR-DR2/+FH!S4P?L1WV@DT<OR#]AO!0I2BHP<3D/$J42KGGS
M.$%"828QBMDL%^.:1^8CM0U;=_AO7K8L)"<-'7KL1S"_EN`$"869Q"C25!?F
MFD?F(X5*@O_9PEE>NCF,&!%D<YC;>,R#!*F<_&9J#B-()+1JN(`2(W/TT,L]
M?3</$J02:$+G,&)$^-D`\4BE*$$R/[=IRD+$:$+=\?,WSPLH,;*Q:^7>H3:'
M$2026828!XE1?=8#8:88DX_('WE/[`=G\'&`*%`&5V!%B0=>_C6'!90PV5@B
M>APD2N6-(_QFASC=%"A*":V?:GO&@SCG#%*4--*'N<OH`DJ03)A'C"+M/PAS
MS2-SDN)9*KAFQZ^"';F5:"ER2=;<=-$CM0?\5ZC*+\&)$WJV*</'8<)T$E2"
M-&EQD^!;P.8C3D^_X0M6E53,P`O4V04P,6GX!?#T57U^\)4P_O;\IO+4SS>I
ME0&RS_H[NJ\UCG+/BF4$F(&.'V>28Z>A,:+!@^M%<GBL#6&U/J+VYUNM7NF;
M^68\5\MH%I'1*$&/1@EZM&ADER"A741"4J!E\5`LK())R4442@?\`F$X[LO"
M7<M^"HOP/Z%/[;Y8.B1""J4$$Z*5H8DFK0EX9BL\9$UIDOQR)#5+TZE97*=&
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%<\=K93<T8KD3D"-
MB8%G/<ET\2,:.&Q-5QC-SIA-7UMDI\`)X=DY\*<CW1W2"R_?ANHL5FX"G4'C
M;[5(('$OE_C'%[(R^.<%590@)\!)UL(@&A+P=%6N;_7E%)B3(+@XF!7!CS<K
MIL;(\Q[*DE$H,FP3?4%%$AF%%"DA46,1Q=08Y]_:];*(0FJX7@F*A,/\WWAY
M642AN$0T]^:/%R445<(JKH555`V1K6\OBRBDQE/QVE88+1@!1W<E&U!$IKQ&
M*+@5(X/&`ZD*P+$$B<&AO63=ELN3J_,/W=Y=ND%EE1C\V(C*W\8S^9N/[`@M
MY1T,XP.'R)!+82'>4C@L)5)`:4WC?JTT-ITLEI:0S)]+"RB$EL&)8-B&+!%`
MO`=/"#+RGD3".XXC$AQ?O!`*CZ^\B`#P31S!\$+!V9N2(@CVM0H1`+N*95K\
MW4H1B.']+A(</T0K$%YY-W;I$S5(X.`YW.M/&)PUMJ3^`\3H<]4=VS;YU[](
M%(RI\LYX-$'.+YKV_J37??U:"4=Z0*NZ[]L6/T9:Y0<K!I.,)I69$.$B*,P&
M-FGX$'E^'`X_H(&?Q6#;`*M:^TEK9X/[[G!IT$;]J5'/%[1Y]-0\6A74L1S*
MWO3/!GB@D_#E$.@=A_`MZ*+XX2+%?!:E25M=G;3+LR:_H%!*P))\*$$.RZ02
MY+`<+"Y'7H(4,BTX4NBX4+U44R^N3T\NXKKZAWW_.V.C2CKO>]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<A[EMSD
MOR(+.G']=WUKZ'NN63$\YP?E%8!W/@24ON^=[<"=<G-]>\?.R=[**(+>?^W>
M]LZOKXZW&I66<GIRU_UX?7O>[1UO.3H>+\+Z\)<GO;ON+6LQX4&.\X79(<9A
ME?RJ;"7!'Q\?*P:,V70G#G5+0ZH'QJCZXU\_5L_C=]W9$5I5_#A18/4S^/1M
M>,NM1&,'&LK581WH)7@!C`]I9>R&CZ#9N**/J_ZXGXI)<<K9>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&=->&`)<!3%"W;[+!T2)+A_=\@
MK3$A(:_V&'WW],?K^]/+LV>R_::`VUX01MY/T))[CF_9>FSY)\3U^!E-6/]]
M&M@39@QTFY]^'E8J%4*6""NLV>WE\TSB5OJ@F\IUH]F<L5RP1[;=65U\(/$O
M?\*R"@+1A]L:C`9KUBR7<&N!SYXQ=%H:3NY.9K7`DTYWOB`H*PK4`6F)6J@]
M-#X8Y.:GCY=0`4X^=I^Q>+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
Comment 1 Simon Barner freebsd_committer 2005-08-11 09:39:50 UTC
Responsible Changed
From-To: freebsd-ports-bugs->barner

I'll handle this.
Comment 2 Simon Barner freebsd_committer 2005-08-31 11:36:52 UTC
State Changed
From-To: open->closed

New port added, thank you!