diff options
| author | David Aspinall | 2004-06-16 16:08:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-16 16:08:19 +0000 |
| commit | be2f20a897ae72bd491935569e1c656652ada4e6 (patch) | |
| tree | 2783299e260fdfaf5d0bb41dd7942bf596b48c56 /generic | |
| parent | 371e59361175aba7d3cfe6b71b57385afc48dd3a (diff) | |
Last change: added also isar-display-draft isar-print-draft for
repository versions of Isabelle.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions