diff options
| author | Gerwin Klein | 2003-12-23 12:23:39 +0000 |
|---|---|---|
| committer | Gerwin Klein | 2003-12-23 12:23:39 +0000 |
| commit | d12f805c9eb596abfb58fb963e99e853c23d8a7f (patch) | |
| tree | 7f344d6de6b2c1e6c58b6b709b0274f740128cfd /isa/Example-Xsym.ML | |
| parent | fff7dc5a3b1479d0a0ac8612e9545225cd016586 (diff) | |
more cleanup of sub/superscript, removed duplicate subscript-matcher
removed bold (not supported by x-symbol any more)
Diffstat (limited to 'isa/Example-Xsym.ML')
0 files changed, 0 insertions, 0 deletions