diff options
| author | David Aspinall | 2000-06-16 11:21:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-16 11:21:03 +0000 |
| commit | 6470c02c16ad15cbab8f18b0fa09bfebe9b92743 (patch) | |
| tree | b1b1ad7e726f79dcd2e93bbc92747b033ebc2f04 /isa/Example.ML | |
| parent | f6f88f0ab71903b4d62da3b2ec472da089684d21 (diff) | |
Added pgcustom x-symbol-language to allow different language name than proof assistant
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions