diff options
| author | David Aspinall | 2000-08-28 12:32:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-28 12:32:59 +0000 |
| commit | 1d677e46e12f4e243b89478f84b47bfdf96b3c14 (patch) | |
| tree | 92e1f73b423ee08f6c53aa6353608e8a7e59916d /FAQ | |
| parent | 598ca314b28517b61323ed8c662cacbd2c678084 (diff) | |
Split manual into two parts.
Added notes about find theorems trick of separating constants by comma
for Isabelle. Made for version 99-1.
Improved documentation for urgent messages, including recent
additions. Mentioned new high-level macros proof-defshortcut,
proof-definvisible.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions