diff options
| author | David Aspinall | 2009-08-28 11:00:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-28 11:00:44 +0000 |
| commit | 09fc77336b72b5bcc123a5eba7d30253348af2e9 (patch) | |
| tree | 589605ff7715fab4fc306dec5149d1c782e06ee1 /etc/isar/TextProps.thy | |
| parent | eb0191e663e1c208d023b7ccfe2bfbdbb44f13b5 (diff) | |
Property merging now works with tweaks in unicode-tokens
Diffstat (limited to 'etc/isar/TextProps.thy')
0 files changed, 0 insertions, 0 deletions