Paul Rubin wrote: > until I find a more permanent home for it.
If it's not committed to the sources I can put it into wiki. Pavel
- bug concerning label of assumption environment Sivan Frenkel
- Re: bug concerning label of assumption environment Richard Heck
- Re: bug concerning label of assumption environment Paul Rubin
- Re: bug concerning label of assumption environm... Pavel Sanda
- Re: bug concerning label of assumption envi... Paul Rubin
- Re: bug concerning label of assumption... Pavel Sanda
- Re: bug concerning label of assump... Paul Rubin
