Chronological Index (0811)

Subject	From	# of followups
[mizar] html for 4.111.1036	Josef Urban	0
[mizar] CALL FOR WORKSHOP PROPOSALS: TPHOLs 2009	Makarius	0
[mizar] [MKM-IG] CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge (fwd)	Josef Urban	0
[mizar] System Announcement: ProofWeb	Freek Wiedijk	0
[mizar] Att: John Harrison	trybulec	0
[mizar] an extension of the mizar language for dealing with article metadata	Jesse Alama	2
Re: [mizar] an extension of the mizar language for dealing with article metadata	Piotr Rudnicki	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	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	Josef Urban	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	trybulec	2
Re: [mizar] an extension of the mizar language for dealing with article metadata	Freek Wiedijk	0
[mizar] A changed in the Mizar synatx	trybulec	0
Re: [mizar] "Formalized Mathematics"	trybulec	0
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
Re: [mizar] an extension of the mizar language for dealing with article metadata	trybulec	0
Re: [mizar] an extension of the mizar language for dealing with article metadata	trybulec	0