diff options
| author | Makarius Wenzel | 2005-09-14 19:11:46 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-14 19:11:46 +0000 |
| commit | d1f290c8bbe72b5d4a50733e961806fa286b7f6d (patch) | |
| tree | b04de42e3d511337579407e7acbae66feb4161cc /isar | |
| parent | 2751ceb769c4447c7ffc29207a2011bb928285a4 (diff) | |
observe PROOFGENERAL_UNICODE as passed by interface script;
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions