diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-08-23 14:37:03 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-08-23 14:37:03 +0000 |
commit | 806464ac12d0d0ba594f092dfa3e05ab2d0b56ac (patch) | |
tree | ebb0e2a4dc9d5e81250699e3543ee338de7f4743 /isar/isar-syntax.el | |
parent | db3cb92031f897dd0df1275f71b558b1e62ea793 (diff) |
print_context;
Diffstat (limited to 'isar/isar-syntax.el')
0 files changed, 0 insertions, 0 deletions