diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-03 20:35:48 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-03 20:35:48 +0200 |
| commit | c1e2a414b56ffd61d03cdfb0eedb7752083ea0c8 (patch) | |
| tree | b8ff5f5858b1904eea30ba43a719ca88e0bd6655 /MLKInteger.m | |
| parent | 85c76a3866597bfed2280aba4834edbce0765800 (diff) | |
When printing a symbol, omit the package prefix as appropriate.
Diffstat (limited to 'MLKInteger.m')
0 files changed, 0 insertions, 0 deletions