|
| From: | Seo Sanghyeon |
| Subject: | [Isarmathlib-devel] Getting rid of extra spaces |
| Date: | Sat, 8 Nov 2008 09:58:16 +0900 |
It bothered me that Tiddly Formal Math displays "lemma (in group0 ) group_op_closed:", with an extra space after group0. So I fixed it. Hope that was okay, -- Seo Sanghyeon
| [Prev in Thread] | Current Thread | [Next in Thread] |