Chronological Index (0702)

Subject	From	# of followups
[mizar] widening BinOp to Relation	Jesse Alama	1
[mizar] grammatical error in message for error #21	Jesse Alama	1
[mizar] request: provide emacs gab's as a single file	Jesse Alama	1
Re: [mizar] widening BinOp to Relation	Adam Naumowicz	1
Re: [mizar] grammatical error in message for error #21	Adam Naumowicz	0
Re: [mizar] widening BinOp to Relation	Jesse Alama	1
Re: [mizar] request: provide emacs gab's as a single file	Grzegorz Bancerek	0
Re: [mizar] widening BinOp to Relation	Adam Naumowicz	1
Re: [mizar] widening BinOp to Relation	Jesse Alama	1
Re: [mizar] widening BinOp to Relation	Adam Naumowicz	0
[mizar] installing mmlquery locally	Jesse Alama	1
Re: [mizar] installing mmlquery locally	Krzysztof Retel	3
Re: [mizar] installing mmlquery locally	Krzysztof Retel	0
Re: [mizar] installing mmlquery locally	Piotr Rudnicki	1
Re: [mizar] installing mmlquery locally	Krzysztof Retel	2
Re: [mizar] installing mmlquery locally	Jesse Alama	0
[mizar] trouble with a term not having the expected type	Jesse Alama	1
[mizar] Re: trouble with a term not having the expected type	Jesse Alama	1
[mizar] RSEISP'07 2nd Call for Papers - fwd.	Software Administrator/Mai	0
Re: [mizar] Re: trouble with a term not having the expected type	Adam Naumowicz	0
[mizar] wiki.mizar.org is down	Jesse Alama	1
[mizar] Re: installing mmlquery locally	Jesse Alama	0
[mizar] Re: installing mmlquery locally	Jesse Alama	1
Re: [mizar] Re: installing mmlquery locally	Krzysztof Retel	0
Re: [mizar] wiki.mizar.org is down	Josef Urban	0
[mizar] referring to unlabeled theorems	Jesse Alama	2
Re: [mizar] referring to unlabeled theorems	Artur Kornilowicz	0
Re: [mizar] referring to unlabeled theorems	Adam Naumowicz	1
Re: [mizar] referring to unlabeled theorems	Jesse Alama	1
Re: [mizar] referring to unlabeled theorems	Adam Naumowicz	1
Re: [mizar] referring to unlabeled theorems	Jesse Alama	1
Re: [mizar] referring to unlabeled theorems	Adam Naumowicz	0
[mizar] puzzling error *109	Jesse Alama	1
Re: [mizar] puzzling error *109	Adam Naumowicz	0
[mizar] unused loci	Jesse Alama	1
Re: [mizar] unused loci	Adam Naumowicz	1
Re: [mizar] unused loci	Adam Naumowicz	0