Chronological Index (0812)

Subject	From	# of followups
Re: [mizar] an extension of the mizar language for dealing with article metadata	Josef Urban	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	Josef Urban	1
[mizar] vocabullaries	trybulec	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	Makarius	1
Re: [mizar] vocabullaries	Freek Wiedijk	2
Re: [mizar] an extension of the mizar language for dealing with article metadata	Adam Naumowicz	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	Josef Urban	0
Re: [mizar] vocabullaries	Adam Naumowicz	2
Re: [mizar] vocabullaries	Adam Naumowicz	0
[mizar] [lp15@cam.ac.uk: [isabelle] MetiTarski theorem prover]	Piotr Rudnicki	0
Re: [mizar] vocabullaries	Freek Wiedijk	0
Re: [mizar] vocabularies	trybulec	1
Re: [mizar] vocabularies	Freek Wiedijk	1
[mizar] mizar.pl	Piotr Rudnicki	0
[mizar] mizara.pl	Piotr Rudnicki	0
[mizar] Help request: Fraenkel term definition	Greg Frascadore	2
Re: [mizar] Help request: Fraenkel term definition	Josef Urban	0
Re: [mizar] Help request: Fraenkel term definition	Adam Naumowicz	0
Re: [mizar] vocabularies	trybulec	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	trybulec	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	Josef Urban	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	trybulec	1
Re: [mizar] vocabularies	Freek Wiedijk	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	Josef Urban	1
Re: [mizar] vocabularies	trybulec	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	trybulec	1
Re: [mizar] vocabularies	Freek Wiedijk	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	Josef Urban	1
Re: [mizar] an extension of the mizar language for dealing with article metadata	trybulec	0
Re: [mizar] vocabularies	trybulec	1
Re: [mizar] vocabularies	Freek Wiedijk	0
[mizar] New Mizar articles	Adam Grabowski	1
[mizar] Re: New Mizar articles	Jesse Alama	0