diff options
| author | David Aspinall | 2002-11-20 12:23:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-20 12:23:12 +0000 |
| commit | 0cd64212adf8ae4ee414dae4a8b59af2d1bbad95 (patch) | |
| tree | 6c6fc2f017239571e0f79ef57a47e43670558cc0 /generic | |
| parent | c506f96f9a46783d59a5a0223362e07c34b643a4 (diff) | |
Improve isabelle-choose-logic, and make it clear preferences. Remove all defpacustom usages.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions