diff options
| author | David Aspinall | 2000-05-16 07:54:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 07:54:31 +0000 |
| commit | b64623a44e6d7abbf44c590c8adcba29841bdb4f (patch) | |
| tree | 9b499fc6a5c90fe3416e660ce76ec0cb67f5efaa /html/doc.phtml | |
| parent | ce7ed629d5d43cce6b3118cdbc6244c70b8e4113 (diff) | |
Added scripts target to edit Isabelle scripts, patch from Mike Squire.
Diffstat (limited to 'html/doc.phtml')
0 files changed, 0 insertions, 0 deletions