diff options
| author | Makarius Wenzel | 2000-08-02 23:08:47 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-08-02 23:08:47 +0000 |
| commit | 807a9d2d6b3604e33cde3202ffec56405d706b83 (patch) | |
| tree | 1c5d8f1bfe166558ef5601f608d3b9379f30ddbd /generic/proof-script.el | |
| parent | f2e7d83e6c2a68cc07b27332fc9cc7ef07400869 (diff) | |
x-symbol-isabelle-prepare-table: avoids redundancy in code, improves
on isar version (only 1 backslash);
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions