aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/Makefile
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>2000-09-21 16:54:09 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>2000-09-21 16:54:09 +0000
commit461ddb09174263055d124bee24905c49d57d2fdb (patch)
tree1b7368171ebaf15dad82107a1b28fd25fe846cf3 /doc/Makefile
parent88e4b465f9885e0cc3a2e23da4049121f89c3765 (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