|
From: | Slawomir Kolodynski |
Subject: | Re: [Isarmathlib-devel] Getting rid of extra spaces |
Date: | Sat, 8 Nov 2008 07:52:21 -0800 (PST) |
> with an extra space after group0. > So I fixed it. > > Hope that was okay, > Sure it was. Slawekk
[Prev in Thread] | Current Thread | [Next in Thread] |