diff options
| author | Makarius Wenzel | 2002-08-27 14:43:57 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2002-08-27 14:43:57 +0000 |
| commit | 09711814a89c22e06055a6ff560b76ed41f9619a (patch) | |
| tree | 3a85534b2e1b4fea856b8112e0e8c8a70549df45 /FAQ | |
| parent | 2eeb8383fa76f49e44d6711b227dd31b167eca3b (diff) | |
proof-assistant-format: always pass through proof-assistant-setting-format;
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions