diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-21 16:54:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-21 16:54:09 +0000 |
| commit | 461ddb09174263055d124bee24905c49d57d2fdb (patch) | |
| tree | 1b7368171ebaf15dad82107a1b28fd25fe846cf3 /doc/Makefile | |
| parent | 88e4b465f9885e0cc3a2e23da4049121f89c3765 (diff) | |
added Isabelle symbols for parendblleft/parendblright glyphs (will be
present in X-Symbol-3.3e; should not cause problems with older
versions);
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions