Subject
| From
| # of followups
|
|---|
| [mizar] Mizar Twiki
| Josef Urban
| 1
|
| [mizar] PhD program (fwd)
| Czeslaw Bylinski
| 0
|
| [mizar] mathematical vernacular
| Andrzej Trybulec
| 0
|
| [mizar] mathematical vernacular
| Andrzej Trybulec
| 0
|
| [mizar] Syntax
| Andrzej Trybulec
| 1
|
| Re: [mizar] Syntax
| Adam Naumowicz
| 0
|
| Re: [mizar] Mizar Twiki
| Piotr Rudnicki
| 2
|
| Re: [mizar] Mizar Twiki
| Josef Urban
| 0
|
| [mizar] current Citeseer
| Adam Naumowicz
| 1
|
| Re: [mizar] current Citeseer
| Adam Naumowicz
| 0
|
| [mizar] Medice, cura te ipsum
| Andrzej Trybulec
| 1
|
| [mizar] Lexical resources
| Andrzej Trybulec
| 0
|
| [mizar] web pages of abstracts no longer updated?
| Freek Wiedijk
| 2
|
| [no subject]
| Adam Grabowski
| 0
|
| Re: [mizar] web pages of abstracts no longer updated?
| Adam Grabowski
| 0
|
| Re: [mizar] web pages of abstracts no longer updated?
| Adam Grabowski
| 1
|
| Re: [mizar] web pages of abstracts no longer updated?
| Freek Wiedijk
| 0
|
| [mizar] XML DTD for Mizar articles?
| Freek Wiedijk
| 1
|
| Re: [mizar] Medice, cura te ipsum
| Piotr Rudnicki
| 0
|
| Re: [mizar] XML DTD for Mizar articles?
| Josef Urban
| 0
|
| [mizar] Re: Mizar Parser
| Andrzej Trybulec
| 0
|